arXiv Artificial Intelligence· Priyanath Maji·· 2 天前AI 评分31
验证不等于一致：跨智能体 LLM-to-Dafny 形式化研究
When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization
AI 导读
研究提出跨智能体形式化协议，由 Specifier 模型将临床试验标准翻译为 Dafny 谓词、Implementer 模型编写方法并接受校验。
来源：arXiv Artificial Intelligence · arxiv.org