Picture for Kai Fronsdal Sanmi Koyejo

Kai Fronsdal Sanmi Koyejo

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

Add code
Feb 18, 2025
Viaarxiv icon