ResearchTasksProof VerificationProof VerificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updated21-proof (Diagnostic Set)Codex 5.4 Sentence-by-Sentence9Correct Valid Proofs4Jun 11, 2026ZK-PoP ProofsZK-PoP8.2Time (ms)3Mar 4, 2026