Michael Souliman
- Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
2025/02/18 by Michael Souliman, Chan, Willy, Souliman, Michael +8 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL)