Signal2026-07-02
arXiv

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States