Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Auto-formalization on Conjectures
Loading...
42.9
Final Accuracy
Aria
-1.716
9.867
21.45
33.033
Oct 6, 2025
Final Accuracy
Updated 22d ago
Evaluation Results
Method
Method
Links
Final Accuracy
Aria
2025.10
42.9
Goedel-V2
pass@N=16
2025.10
0
Goedel-V2
pass@N=32
2025.10
0
Goedel-V2
pass@N=64
2025.10
0
Goedel-V2
pass@N=128
2025.10
0
Gemini-2.5-Pro
pass@N=1
2025.10
0
Goedel-V2
pass@N=1
2025.10
0
Kimina
pass@N=1
2025.10
0
Herald
pass@N=1
2025.10
0
Feedback
Search any
task
Search any
task
