Proof Verification on 21-proof (Diagnostic Set)
9Correct Valid ProofsCodex 5.4 Sentence-by-Sentence
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Codex 5.4 Sentence-by-SentenceEvaluation Strategy=Sentence-by-Sentence, Trials=avg@32026.06 | 9 | 2 | 9 | 1 | 0.8571 | |
| Global GPT-5.4Evaluation Strategy=Global, Trials=avg@32026.06 | 8.33 | 2.67 | 7.67 | 2.33 | 0.7619 | |
| AgentEvaluation Strategy=Constructive Verification, Trials=avg@32026.06 | 8 | 3 | 10 | 0 | 0.8571 | |
| Global Codex-5.4Evaluation Strategy=Global, Trials=avg@32026.06 | 7.33 | 3.67 | 8 | 2 | 0.73 |