Picture for Jakob Nordhagen

Jakob Nordhagen

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

Add code
Feb 18, 2025
Viaarxiv icon