Elyas Obbad
  According to our database1,
  Elyas Obbad
  authored at least 5 papers
  between 2024 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2025
    CoRR, September, 2025
    
  
Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs.
    
  
    CoRR, August, 2025
    
  
Position: Machine Learning Conferences Should Establish a "Refutations and Critiques" Track.
    
  
    CoRR, June, 2025
    
  
Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization.
    
  
    CoRR, February, 2025
    
  
  2024