Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization. - Willy Chan; Michael Souliman; Jakob Nordhagen; Brando Miranda; Elyas Obbad; Oluwasanmi Koyejo (CoRR, 2025)