ResearchBenchmarksAuto-formalization on FATE-HFollow91Compiler Success RateGoedel-V26.7628.6350.572.37Oct 6, 2025Evaluation ResultsMethodMethodLinksCompiler Success RateFinal AccuracyGoedel-V2pass@N=128pass@N=1282025.109143Aria2025.108971Goedel-V2pass@N=64pass@N=642025.1088—Goedel-V2pass@N=32pass@N=322025.1082—Goedel-V2pass@N=16pass@N=162025.1077—Gemini-2.5-Propass@N=1pass@N=12025.103531Goedel-V2pass@N=1pass@N=12025.103527Heraldpass@N=1pass@N=12025.102412Kiminapass@N=1pass@N=12025.10100