Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Verification on CoqStoq 100 hardest tasks
Loading...
97
Pass Count
IDS
25.24
43.87
62.5
81.13
May 22, 2026
Pass Count
Updated 2mo ago
Evaluation Results
Method
Method
Links
Pass Count
IDS
modality=proof-only, c...
2026.05
97
Claude Code
modality=proof-only
2026.05
51
Codex
modality=proof-only
2026.05
46
Rango
modality=proof-only
2026.05
28
Feedback
Search any
task
Search any
task
