@misc{indiciae6994f6a00436,
  title = {Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization},
  author = {Willy Chan and Michael Souliman and Jakob Nordhagen and Brando Miranda and Elyas Obbad and Kai Fronsdal Sanmi Koyejo},
  year = {2025},
  url = {https://arxiv.org/abs/2502.15795},
  note = {Source identifier: 2502.15795}
}