APA (7th ed.) Citation

Chan, W., Souliman, M., Nordhagen, J., Miranda, B., Obbad, E., & Koyejo, K. F. S. (2025). Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization.

Chicago Style (17th ed.) Citation

Chan, Willy, Michael Souliman, Jakob Nordhagen, Brando Miranda, Elyas Obbad, and Kai Fronsdal Sanmi Koyejo. Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization. 2025.

MLA (9th ed.) Citation

Chan, Willy, et al. Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization. 2025.