19:11
2026-09-15
arxiv.org
ai-agents
Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
A paper submitted to arXiv on 21 Aug 2026 and revised 14 Sep 2026 introduces neuro-formal verification (NFV), a method in which an AI coding agent formalizes source-level verification problems into pr…