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

Automated Theorem Proving on CombiBench Easy Mode

10Solved Problems (Pass@32)

Goedel-Prover-V2

1.683.8468.16Apr 17, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.04
10
2026.04
8
2026.04
3
2026.04
2