theoria-c6700d1c·1 events·first seen Aliases: Theoria
Theoria is a verification architecture that rewrites candidate AI solutions into sequences of typed state transitions, each requiring an explicit justification (citation, computation, or given fact), making every reasoning step independently auditable. On HLE-Verified Gold (185 expert problems), Theoria certifies 105 at 91.4% strict precision, and on adversarial poisoned proofs catches 94.7% of errors versus 83.2% for holistic LLM judges — a gap concentrated in hidden premises and fabricated citations. The approach is complementary to scalar LLM judges (Jaccard overlap 0.14–0.36), suggesting ensemble use. On GPQA Diamond, certified precision reaches 97.1%.