Michael Saldivar and Ben Slivinski authored a paper titled "Theoria: Rewrite-Acceptability Verification over Informal Reasoning States," submitted to arXiv on July 1, 2026. The paper is categorized under cs.AI and was revised twice, with the latest version dated July 9, 2026. The arXiv-issued DOI was provided via DataCite. The submission history lists Ben Slivinski as the corresponding author.
No score is assigned. Sources and their independence are shown in the citation chain below.