Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
Neuro-formal verification is introduced, which harnesses that automation for developers of mainstream programming languages and returns a Dafny proof of correctness or of a bug on 57% of the entries at 92% precision, and a CBMC counterexample for 63% of the buggy programs at 90% precision.
Shuvendu K. Lahiri
· 0 citations