1
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
用形式化验证校准AI回答可信度，为不可靠的LLM判断提供可审计的新路径。
arXiv:2607.01223v1 Announce Type: new Abstract: When should an AI system's answer be trusted? Formal proof assistants offer certainty but cannot reach…