ResearchBenchmarksAuto-formalization on ConjecturesAuto-formalization on ConjecturesFollow42.9Final AccuracyAria-1.7169.86721.4533.033Oct 6, 2025Evaluation resultsMethodMethodLinksFinal AccuracyAria2025.1042.9Goedel-V2pass@N=16pass@N=162025.100Goedel-V2pass@N=32pass@N=322025.100Goedel-V2pass@N=64pass@N=642025.100Goedel-V2pass@N=128pass@N=1282025.100Gemini-2.5-Propass@N=1pass@N=12025.100Goedel-V2pass@N=1pass@N=12025.100Kiminapass@N=1pass@N=12025.100Heraldpass@N=1pass@N=12025.100