← back to paper

Review history

arxiv: 2605.10379 · 2 revisions

Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness

1. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   26854 ms 5744 in 1095 out 2026-06-30T22:36:24.900551+00:00
2. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 7.0
   31828 ms 5513 in 1284 out 2026-05-12T04:43:51.181080+00:00