FIELD NOTES TOPIC
proof trace
1 note, newest first.
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
Theoria is a verification architecture presented by Ben Slivinski and Michael Saldivar that aims to address the issue of trust in AI systems' answers. It rewrites candidate solutions into a sequence of typed state…
