Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Auto-formalization on FATE-H
Loading...
91
Compiler Success Rate
Goedel-V2
6.76
28.63
50.5
72.37
Oct 6, 2025
Compiler Success Rate
Final Accuracy
Updated 22d ago
Evaluation Results
Method
Method
Links
Compiler Success Rate
Final Accuracy
Goedel-V2
pass@N=128
2025.10
91
43
Aria
2025.10
89
71
Goedel-V2
pass@N=64
2025.10
88
-
Goedel-V2
pass@N=32
2025.10
82
-
Goedel-V2
pass@N=16
2025.10
77
-
Gemini-2.5-Pro
pass@N=1
2025.10
35
31
Goedel-V2
pass@N=1
2025.10
35
27
Herald
pass@N=1
2025.10
24
12
Kimina
pass@N=1
2025.10
10
0
Feedback
Search any
task
Search any
task
