论文Agent 与开发者10:30SpecAgent：用智能体框架自动合成 C 程序形式化规约写 C 程序验证的朋友可以看看，这个 SpecAgent 会自己排查依赖再修规约，811 个目标里证出 604 个，比已有基线强不少。#SpecAgent#DeepSeek-V4#RAG#程序验证aarXiv: DeepSeek@Lezhi Ma 等 5 人原文稍后读已读值得跟进有用关注 SpecAgent