λ Type Theory - shanesveller · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔣Type Systems

arxiv.org·2d

All of the String types 🔌LSP

lambdalemon.gay·2d·Lobsters, Hacker News

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🔌LSP

arxiv.org·4d

Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs 🔧Constraint Solvers

arxiv.org·16h

Tree-of-Evidence: Efficient "System 2" Search for Faithful Multimodal Grounding 🔣Type Systems

arxiv.org·16h

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink 📋Lightweight Formal Methods

arxiv.org·3d

Squeeze Evolve: Unified Multi-Model Orchestration for Verifier-Free Evolution 🔣Type Systems

arxiv.org·16h

A Gradual Probabilistic Lambda Calculus 🔣Type Systems

arxiv.org·2d

Blink: CPU-Free LLM Inference by Delegating the Serving Stack to GPU and SmartNIC 🔌LSP

arxiv.org·16h

Branching Out: Existential External Choice in Effpi 🔣Type Systems

arxiv.org·1d

Fine-Tuning Integrity for Modern Neural Networks: Structured Drift Proofs via Norm, Rank, and Sparsity Certificates #️⃣BLAKE3

arxiv.org·3d

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging 🔧Constraint Solvers

arxiv.org·16h

Multiple Planted Structures Below $\sqrt{n}$: An SoS Integrality Gap and an SQ Lower Bound 🌲B-Trees

arxiv.org·1d

Fast Heterogeneous Serving: Scalable Mixed-Scale LLM Allocation for SLO-Constrained Inference 🔧Constraint Solvers

arxiv.org·16h

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🔣Type Systems

arxiv.org·2d

Domain-Contextualized Inference: A Computable Graph Architecture for Explicit-Domain Reasoning 🔧Constraint Solvers

arxiv.org·3d

HAWK: Head Importance-Aware Visual Token Pruning in Multimodal Models #️⃣BLAKE3

arxiv.org·16h

Probabilistic Tree Inference Enabled by FDSOI Ferroelectric FETs 🔣Type Systems

arxiv.org·2d

DIVERSED: Relaxed Speculative Decoding via Dynamic Ensemble Verification 🔧Constraint Solvers

arxiv.org·16h

AEGIS: Scaling Long-Sequence Homomorphic Encrypted Transformer Inference via Hybrid Parallelism on Multi-GPU Systems #️⃣BLAKE3

arxiv.org·3d

Loading more...