**摘要**
什么时候应该信任人工智能系统的答案？正式证明助理提供确定性，但无法达到大多数问题分布；标量法学硕士评委提供覆盖范围，但会产生不透明的分数，这些分数事后无法审计，并且会受到与任何法学硕士相同的一致性问题的影响。我们介绍Theoria ，这是一种缩小这一差距的验证架构。候选解决方案被重写为
👤 作者: Ben Slivinski, Michael Saldivar

---
🔗 **[Theoria ：非正式推理状态下的重写可接受性验证](https://arxiv.org/abs/2607.01223v1)**

> Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
🏷️ 来源: ArXiv cs.AI
⏱️ 2026-07-02 14:00