Kristian Minchev

Doctoral Student

About me

I am Kristian Minchev, a first year doctoral student at the Institute for Computer Science, Artificial Intelligence and Technology, Sofia University from October 2023. I am supervised by Dr. Nikola Konstantinov.

My interests include theoretical machine learning, numerical linear algebra, game theory and more.

Education

University of Oxford, October 2020 – July 2023
Bachelor of Mathematics and Computer Science

Awards

International Olympiad in Mathematics 2019 – Silver Medal

Balkan Mathematical Olympiad 2016 – Bronze Medal

International Zhautykov Olympiad 2017 – Gold Medal

2026

Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
The Fourteenth International Conference on Learning Representations (ICLR 2026)

Kristian Minchev, Dimitar Iliev Dimitrov, Nikola Konstantinov
LARP: Learner-Agnostic Robust Data Prefiltering
In: International Conference on Machine Learning (ICML 2025) (Workshop)

Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunović, Nikola Jovanović, Martin Vechev
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
In: International Conference on Machine Learning (ICML 2025) (Workshop)

Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
In: International Conference on Machine Learning (ICML 2025) (Workshop)

Dimitar Chakarov, Nikita Tsoy, Kristian Minchev, Nikola Konstantinov
Incentivizing Truthful Collaboration in Heterogeneous Federated Learning
In: Conference on Neural Information Processing Systems (NeurIPS 2024) (Workshop)