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

Formal Theorem Proving on ProofNet

24.26Accuracy

GOEDEL VALUE

1.26567.235313.20519.1747Feb 4, 2025Apr 12, 2025Jun 18, 2025Aug 24, 2025Oct 30, 2025Jan 5, 2026Mar 13, 2026
Updated 8d ago

Evaluation Results

MethodLinks
2026.03
24.26
2026.03
23.72
2026.03
19.14
2026.03
15.63
2026.03
15.63
2026.03
15.36
2026.03
14.82
2026.03
14.56
2025.02
6.99
2025.02
6.45
2025.02
5.91
2025.02
5.38
2025.02
5.38
2025.02
4.84
2025.02
4.3
2025.02
4.3
2025.02
3.76
2025.02
3.76
2025.02
3.76
2025.02
3.76
2025.02
3.76
2025.02
3.76
2025.02
3.23
2025.02
2.69
2025.02
2.69
2025.02
2.15