Back to papers
July 1, 2026cs.AIcs.CLcs.LGcs.LOcs.SE

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

Ben Slivinski, Michael Saldivar
Read on arXivDownload PDF
Categories

cs.AI, cs.CL, cs.LG, cs.LO, cs.SE