Theoria: Rewrite-Acceptability Verification over Informal Reasoning States Paper • 2607.01223 • Published Jul 2