📐 Formal Methods - gss123 · Scour

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

🧮Algorithms Code

github.com··Hacker News

Syntax-driven Incremental Program Verification of Matching Logic Properties

🧮Constraint Solvers Academic

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

☕Java Code

github.com··Hacker News

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

🧮SMT Solvers Academic

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

📐TLA+ Academic

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

🧮Constraint Solvers Academic

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

🧮Constraint Solvers Code

github.com··Hacker News

Strict stability of extension types

📐Linearizability Academic

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

🧮Constraint Solvers Academic

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

🧮Constraint Solvers Academic

The Complexity of Asynchronous HyperLTL

📐TLA+ Academic

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

📐TLA+ Academic

Log in to enable infinite scrolling