Picture for Michael Souliman

Michael Souliman

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

Add code
Feb 18, 2025
Viaarxiv icon