Ospanov, Azim

5 publications

NeurIPS 2025 APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

UAI 2025 Do Vendi Scores Converge with Finite Samples? Truncated Vendi Score for Finite-Sample Convergence Guarantees Azim Ospanov, Farzan Farnia

ICCV 2025 Scendi Score: Prompt-Aware Diversity Evaluation via Schur Complement of CLIP Embeddings Azim Ospanov, Mohammad Jalali, Farzan Farnia

NeurIPS 2025 miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

NeurIPS 2024 Towards a Scalable Reference-Free Evaluation of Generative Models Azim Ospanov, Jingwei Zhang, Mohammad Jalali, Xuenan Cao, Andrej Bogdanov, Farzan Farnia