★ 3
arXiv 论文揭示跨智能体 LLM 转 Dafny 形式化验证不等于一致
论文提出跨智能体形式化协议：Specifier 模型把临床试验标准翻译为 Dafny 谓词，Implementer 模型编写方法并接受校验。在 96 份临床试验文档上，同模型对照的一致率仅 59.3%，能力分配方式对一致率影响极大，最强配置也仅 34.4%。研究还发现弱 Implementer 直…
arXiv cs.AI6 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出跨智能体形式化协议：Specifier 模型把临床试验标准翻译为 Dafny 谓词，Implementer 模型编写方法并接受校验。在 96 份临床试验文档上，同模型对照的一致率仅 59.3%，能力分配方式对一致率影响极大，最强配置也仅 34.4%。研究还发现弱 Implementer 直…