Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
arXiv:2607.01223v1 Announce Type: new Abstract: When should an AI system's answer be trusted? Formal proof assistants offer certainty but cannot reach most of the problem distribution; scalar LLM judg