📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·1d
🧮SMT Solvers
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·10h·
Discuss: Hacker News
🧮Constraint SMT
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·1d
📐Format Grammars
Structured Parsing Is the Key to Making LLMs Work on Large Codebases
hackernoon.com·17h
🌳Incremental Parsing
Symbolic-numeric programming in scientific computing
dspace.mit.edu·8h
🧬Functional Programming
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·15h·
Discuss: Hacker News
🧮Theorem Proving
Encoding SAT in OCaml GADTs
farlow.dev·2d·
Discuss: Hacker News
λLambda Formalization
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·8h
🧮Theorem Proving
Formal specs as sets of behaviors
surfingcomplexity.blog·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
How HackerOne’s API Pentesting Delivers A Community-Powered Model
hackerone.com·19h
🧪Protocol Fuzzing
Understanding ASTs
hypermod.io·1d·
Discuss: Hacker News
📊Static Analysis
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·8h
🎞️Tape Combinatorics
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·8h
⏰Temporal Logic
Large Language Models
davidtemplin.name·17h·
Discuss: Hacker News
🤖Grammar Induction
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·8h
✅Formal Methods
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
📝Parsing Grammars
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·16h
🛡️Proof-Carrying Archives
Achieving Early Wins in Generative AI
cacm.acm.org·18h
📋Document Grammar
"Principles of Building AI Agents" is a worth a Read
dev.to·9h·
Discuss: DEV
⚙️TLA+
A Periodic Table of System Design Principles
github.com·18h·
Discuss: Hacker News
⚙️Operating System Design