TY  - RPRT
TI  - Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
AU  - Willy Chan
AU  - Michael Souliman
AU  - Jakob Nordhagen
AU  - Brando Miranda
AU  - Elyas Obbad
AU  - Kai Fronsdal Sanmi Koyejo
PY  - 2025
UR  - https://arxiv.org/abs/2502.15795
ID  - 2502.15795
ER  -