Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
神经形式化验证：智能体的语言无关形式化程序推理
专题命中 程序分析与验证 ：coding agent(abstract)；分类 cs.SE、cs.PL
AI总结 该研究提出神经形式化验证（NFV），让AI编码智能体与成熟验证器结合，为主流语言开发者实现一键式程序验证，在Python编程问题数据集上取得了良好的验证效果。
AI 大模型
代码大模型 / AI 编程
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
