🔬 Logic in Computer Science - matmat · Scour

Caesar: A Deductive Verifier for Probabilistic Programs ⚖️Verification Calculi

Programming Z3 🧮Z3 Solver

z3prover.github.io·5d·Hacker News

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications ⚖️Verification Calculi

proofsandintuitions.net·3d·Lobsters, Hacker News

Reading Proof Objects and Completed Rewrites from eprover into Knuckledragger 🧮Z3 Solver

philipzucker.com·4d

Spectre Programming Language 🌐Protocol Synthesis

spectre-docs.pages.dev·5d·Hacker News

Ethical Hyper-Velocity (EHV): A Provably Deterministic Governance-Aware JIT Compiler Architecture for Agentic Systems 🚀JIT Compilation

arxiv.org·2d·Hacker News

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening 🧮SMT Solvers

Completeness of Synthesis under Realizability Assumptions using Superposition 🧮SMT Solvers

Satisfiability Modulo Extensional Constant Arrays (Extended Version) 🧮Constraint SMT

Understanding CDCL Solvers via Scalability Studies and Proofdoors 🎯Performance Proofs

Model Checking Matrix Product States against Linear Chain Logic 🕸️Tensor Networks

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems ⚡Proof Automation

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models 🎯Interactive Provers

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning 🎯Performance Proofs

A foundational characterization of Hoare Logic ⚖️Hoare Logic

Automating Bitvector and Finite Field Equivalence Proofs in Lean ⚔️Lean Tactics

Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report) 💧Liquid Types

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning ✓Automated Theorem Proving

Constructive higher sheaf models with applications to synthetic mathematics 🏗️Constructive Mathematics

Monitoring Data-aware Temporal Properties (Extended Version) 📈Time Series

No more posts from matmat's subscribed feeds.

Scour all 24660 feeds Learn more about Feeds

Log in to enable infinite scrolling