Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Automated Theorem Proving on FIMO Easy Mode

4Solved Problems (Pass@32)

Goedel-Prover-V2

0.881.692.53.31Apr 17, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.04
4
2026.04
2
2026.04
1
2026.04
1
2026.04
1