Elyas Obbad

According to our database, Elyas Obbad authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs.

Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno Dumont, Elyas Obbad, Sanmi Koyejo

CoRR, August, 2025

Position: Machine Learning Conferences Should Establish a "Refutations and Critiques" Track.

Rylan Schaeffer, Joshua Kazdan, Yegor Denisov-Blanch, Brando Miranda, Matthias Gerstgrasser, Susan Zhang, Andreas Haupt, Isha Gupta, Elyas Obbad, Jesse Dodge, Jessica Zosa Forde, Koustuv Sinha, Francesco Orabona, Sanmi Koyejo, David L. Donoho

CoRR, June, 2025

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

Willy Chan, Michael Souliman, Jakob Nordhagen, Brando Miranda, Elyas Obbad, Oluwasanmi Koyejo

CoRR, February, 2025

2024

ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment.

Elyas Obbad, Iddah Mlauzi, Brando Miranda, Rylan Schaeffer, Kamal Obbad, Suhana Bedi, Sanmi Koyejo

CoRR, 2024