# 当验证不一致时：跨代理 LLM 到 Dafny 形式化

> 全文为英语

**Published:** 2026年11月6日
**Author:** Priyanath Maji
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/zh/articles/when-verification-is-not-agreement-cross-agent-llm-to-dafny-formalizatio

arXiv:2611.07073v1 公告类型：新 摘要：经过验证的 Dafny 后置条件证明公式成立，但不保证结果是通过真正的独立推理得出的。我们引入了一种跨代理形式化协议，其中说明符模型......

> 内容来自原始来源： **arXiv — cs.AI**
> [在 arXiv — cs.AI 阅读全文](https://arxiv.org/abs/2611.07073)

**标签：** #OpenAI #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*