Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization

Willy Chan, Michael Souliman, Jakob Nordhagen +3

Autoformalization, the process of transforming informal mathematical language into formal specifications and proofs remains a difficult task for state-of-the-art (large) language m…