λ Type Theory - shanesveller · Scour

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

arxiv.org·2d

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·15h

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

arxiv.org·15h

A Gradual Probabilistic Lambda Calculus 🔣Type Systems

arxiv.org·2d

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·15h

Branching Out: Existential External Choice in Effpi 🔣Type Systems

arxiv.org·1d

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

arxiv.org·15h

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

arxiv.org·1d

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

arxiv.org·3d

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

arxiv.org·2d

Probabilistic Tree Inference Enabled by FDSOI Ferroelectric FETs 🔣Type Systems

arxiv.org·2d

The End of the Foundation Model Era: Open-Weight Models, Sovereign AI, and Inference as Infrastructure 🔣Type Systems

arxiv.org·1d

An Algebraic Introduction to Persistence 🌲Persistent Data Structures

arxiv.org·1d

A1: A Fully Transparent Open-Source, Adaptive and Efficient Truncated Vision-Language-Action Model 🔣Type Systems

arxiv.org·2d

POS-ISP: Pipeline Optimization at the Sequence Level for Task-aware ISP ⏱️Timely Dataflow

arxiv.org·1d

Efficient Inference for Large Vision-Language Models: Bottlenecks, Techniques, and Prospects 🔣Type Systems

arxiv.org·2d

StructKV: Preserving the Structural Skeleton for Scalable Long-Context Inference 🔌LSP

arxiv.org·1d

When Is Thinking Enough? Early Exit via Sufficiency Assessment for Efficient Reasoning 🔧Constraint Solvers

arxiv.org·1d

Loading more...