Azim Ospanov
SHB 904
Chung Chi Rd, Ma Liu Shui
Hong Kong, Sha Tin, N.T.
I am a PhD student in Computer Science and Engineering at the Chinese University of Hong Kong, advised by Prof. Farzan Farnia. My research focuses on evaluating and improving generative models, as well as advancing the field of formal mathematics.
I was a member of the first graduating cohort in the “Artificial Intelligence: Systems & Technologies” program at CUHK. Before beginning my PhD, I interned at MetaSystems Asia, working on applied computer vision solutions for healthcare.
My main research interests include:
-
Spectral Theory: Applying spectral methods to generative model evaluation and improving output sampling
-
Formal Mathematics: Using Lean 4 for autoformalization and formal theorem proving
news
| Nov 04, 2025 |  Our paper on revised version of miniF2F benchmark for Lean4 was accepted at NeurIPS 2025! Link to OpenReview |
|---|---|
| Nov 04, 2025 | Our paper on repair-driven agent for Lean4 was accepted at NeurIPS 2025! Link to OpenReview |
| Jun 26, 2025 | Our paper on measuring prompt-aware diversity was accepted at ICCV 2025 as a Spotlight work! Link to the paper |
| May 07, 2025 | Our paper on statistical convergence of the Vendi scores was accepted at UAI! Link to OpenReview |
latest posts
| May 14, 2024 | Google Gemini updates: Flash 1.5, Gemma 2 and Project Astra |
|---|---|
| Apr 23, 2022 | Displaying External Posts on Your al-folio Blog |
