✅ Formal Methods - matmat · Scour

Abduction Prover in Isabelle/HOL

👑Isabelle/HOL Academic

Proof System Timelines

📐Proof Assistants Blog

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

lix.polytechnique.fr·

AWS can now mathematically prove your VMs are isolated

💻Operating System, OS

thenewstack.io·

DB Nerds – Try this out

📋Formal Verification

kesseldb.com··Hacker News

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

⚡SMT Applications Code

github.com··Hacker News

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

⚡Proof Automation Academic

Syntax-driven Incremental Program Verification of Matching Logic Properties

💻Programming languages Academic

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

📋Formal Verification Academic

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

⚙️TLA+ Academic

Traxia: A Framework for Verifiable, Agent-Native Scientific Publishing

📋Formal Verification Academic

Formal verification of the S-two AIR

💻Programming languages Academic

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

🔬Lean Academic

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

🌐NetworkProtocols Academic

The Complexity of Asynchronous HyperLTL

🌐NetworkProtocols Academic

Correct-by-Construction Design of Timed Systems in Event-B

💻CS Academic

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

📋Formal Verification Academic

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

📐Proof Assistants Academic

Climbing Up the Semantic Tower -- at Runtime

📋Formal Verification Academic

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

💻Programming languages Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling