publications

2025

2025

  1. TMLR 2025
    imo-steps.png
    A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
    Roozbeh Yousefzadeh, Xuenan Cao, and Azim Ospanov
    Transactions on Machine Learning Research, 2025
    PDF
  2. Under Rev.
    apollo.png
    APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
    Azim Ospanov, Farzan Farnia, and Roozbeh Yousefzadeh
    2025
    PDF
  3. UAI 2025
    vendi_convergence.png
    Do Vendi Scores Converge with Finite Samples? Truncated Vendi Score for Finite-Sample Convergence Guarantees
    Azim Ospanov and Farzan Farnia
    In The 41st Conference on Uncertainty in Artificial Intelligence, 2025
    PDF

2024

2024

  1. NeurIPS 2024
    fkea.png
    Towards a Scalable Reference-Free Evaluation of Generative Models
    Azim Ospanov, Jingwei Zhang, Mohammad Jalali, and 3 more authors
    In The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024
    PDF Code
  2. Under Rev.
    conditional_vendi.png
    Conditional Vendi Score: An Information-Theoretic Approach to Diversity Evaluation of Prompt-based Generative Models
    Mohammad Jalali, Azim Ospanov, Amin Gohari, and 1 more author
    2024
    PDF