🔬 Logic in Computer Science - matmat · Scour

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System 📏Linear Logic

arxiv.org·1d·

The Synthesis Problem: Why I’m Building a New Logic Toolchain ⚙️Logic Synthesis

llama.gs·6d·Hacker News·

Abstract Semantic Graph 🔢Denotational Semantics

en.wikipedia.org·1d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification ⚔️Lean Tactics

goedelcodeprover.github.io·6d·Hacker News·

Formal Verification in Any Language for Everybody ⚔️Lean Tactics

dev-log.me·1d·Hacker News·

dropbox/dMATH: Formal verification and theorem proving tools ⚔️Lean Tactics

github.com·2d·Hacker News·

Programming languages for AI 💻Programming languages

blog.ploeh.dk·3d·

Red-black tree in Lean 4 prover with everything proved ⚔️Lean Tactics

rentry.co·1d·Lobsters·

My theoretical computer science notes from Epsilon Camp 🧮Theoretical Computer Science

scottaaronson.blog·4d·

From categorized neural architectures to subexponential proof theory 🧮Theorem Proving

arxiv.org·1d·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 📐Proof Assistants

github.com·5d·Hacker News·

Relational semantics for flat Heyting-Lewis Logic 📏Linear Logic

arxiv.org·2d·

Algo P\"art: An Algorithmic Reconstruction of Arvo P\"art's Summa 🎯Performance Proofs

arxiv.org·2d·

Compositional Reasoning for Probabilistic Automata with Uncertainty ⚙Automata Theory

arxiv.org·1d·

Absolute convergence and Taylor expansion in web based models of Linear Logic 🔮Proof Search

arxiv.org·6d·

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning ⏱️Interval Parsing

arxiv.org·1d·

Proofdoors and Efficiency of CDCL Solvers 🎯Interactive Provers

arxiv.org·3d·

Decidable By Construction: Design-Time Verification for Trustworthy AI ⚖️Verification Calculi

arxiv.org·6d·

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach 🌐Protocol Synthesis

arxiv.org·6d·

Lean on Vampire Proofs (Short Paper) ⚔️Lean Theorem

arxiv.org·3d·

Loading more...