🔍 Type Inference - hello · Scour

Towards Definitional Interpreters for Hoare Logics 📏Linear Types

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification 👻Phantom Types

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis 🎭Program Synthesis

A Categorical Semantics for Linear Logical Frameworks 📏Linear Types

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) 📝Parser Combinators

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🧮SMT Solvers

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability 🔢Homomorphic Encryption

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs 🧮SMT Solvers

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics ✓Formal Verification

Algebraic Semantics of Datalog with Equality 📊Datalog

CITE: Anytime-Valid Statistical Inference in LLM Self-Consistency 🎯Hindley-Milner

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference ✅Model Checking

Set-like operations on propositional logic programs 🧩Constraint Programming

Logics for Context-free Hyperproperties 🎯Hindley-Milner

The Algebra of Iterative Constructions ∘Category Theory

Continuations and Completeness in Proof-theoretic Semantics ∘Category Theory

A Foundation Model for Zero-Shot Logical Rule Induction 🌳Pratt Parsing

ReFlect: An Effective Harness System for Complex Long-Horizon LLM Reasoning 🦙Ollama

Hard CNF Instances for Ideal Proof Systems 🧮SMT Solvers

Litespark Inference on Consumer CPUs: Custom SIMD Kernels for Ternary Neural Networks 📱Edge AI

No more posts from hello's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling