Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Code + Proof Evaluation on AlgoVeri
Loading...
0.8442
Pass Count
IDS
0.384935
0.504156
0.623377
0.742597
May 22, 2026
Pass Count
Updated 2mo ago
Evaluation Results
Method
Method
Links
Pass Count
IDS
modality=concurrent co...
2026.05
0.8442
Claude Code
modality=concurrent co...
2026.05
0.7273
Codex
modality=concurrent co...
2026.05
0.6623
Prior SOTA
modality=concurrent co...
2026.05
0.4026
Feedback
Search any
task
Search any
task
