DEV Community

#formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
The Agent Wrote the Theorem: A Model-Level Disproof, a Pipeline Gap, and a Refusal to Cheat
wintrover profile

The Agent Wrote the Theorem: A Model-Level Disproof, a Pipeline Gap, and a Refusal to Cheat

#axiom #formalverification #agents #smt
Comments
2 min read
Lean Is Becoming AI's Trust Layer
max_quimby profile

Lean Is Becoming AI's Trust Layer

#aiagents #formalverification #lean4 #codequality
Comments
9 min read
Green proofs, empty promises: when AI agents write their own specifications
malek_aitouaret_f026758c profile

Green proofs, empty promises: when AI agents write their own specifications

#dafny #formalverification #ai #llm
1
Comments 6
7 min read
Why Verification Asks You to Leave the Language You Ship
thechrisin profile

Why Verification Asks You to Leave the Language You Ship

#architecture #languagedesign #formalverification #rust
Comments
12 min read
Verus proves Rust correct for all inputs. Code review still can't define "correct."
cole_halton_42f71d71b809b profile

Verus proves Rust correct for all inputs. Code review still can't define "correct."

#aicodereview #rust #formalverification #llm
Comments
2 min read
A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps
rolanfreeman6png profile
LulLaS

A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps

#showdev #ocaml #reverseengineering #formalverification
1
Comments
1 min read
When Did AI Become the New Toy? I Just Got Here.
marius0of1 profile

When Did AI Become the New Toy? I Just Got Here.

#ai #architecture #security #formalverification
Comments 4
4 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.