ResearchBenchmarksAuto-formalization on FATE-XFollow69Compiler Success RateAria2.4419.723754.28Oct 6, 2025Evaluation ResultsMethodMethodLinksCompiler Success RateFinal AccuracyAria2025.106944Goedel-V2pass@N=128pass@N=1282025.106324Goedel-V2pass@N=64pass@N=642025.1058—Goedel-V2pass@N=32pass@N=322025.1049—Goedel-V2pass@N=16pass@N=162025.1037—Gemini-2.5-Propass@N=1pass@N=12025.102721Goedel-V2pass@N=1pass@N=12025.102716Heraldpass@N=1pass@N=12025.1085Kiminapass@N=1pass@N=12025.1051