Picture for Willy Chan

Willy Chan

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

Add code
Feb 18, 2025
Viaarxiv icon