Nikolay Georgiev

Undergraduate student

Email: [email protected]

About me:

My name is Nikolay Georgiev. I am a second-year undergraduate student at the Faculty of Mathematics and Informatics, Sofia University and an INSAIT Scholar at the EXPLORER Program since October 2024. I am currently working in the field of AI for Math (improving the abilities of LLMs to solve complex mathematical problems). I am supervised by Prof. Martin Vechev, Dimitar Dimitrov and Ivo Petrov. My other interests include Linguistics and Computer Security.

Education:

  • Faculty of Mathematics and Informatics, Sofia University – Oct. 2024 – Present
    B.Sc. Informatics
  • St. Kliment Ohridski High School of Mathematics, Silistra – Sept. 2016 – May 2024

Awards:

  • International Linguistics Olympiad 2024, Brasilia – Bronze Medal
  • International Linguistics Olympiad 2023, Bansko – Bronze Medal
  • International Zhautykov Olympiad 2022, 2023 – Bronze Medals (Mathematics)
  • Laureate of the Bulgarian National Linguistics Olympiad in both 2023 and 2024, part of the National Team
  • Laureate of the Bulgarian National Mathematical Olympiad in 2023, part of the Extended National Team

2026

Nikolay Georgiev, Maria Drencheva, Kseniia Ibragimova, Ivo Petrov, Dimitar I. Dimitrov,  Martin Vechev
SABER-Math: An Automated Reranking Benchmark for Mathematical Information Retrieval
In: The 2026 Conference on Empirical Methods in Natural Language Processing (EMNLP 2026)

Paper Code Website

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: The Fourteenth International Conference on Learning Representations (ICLR 2026)

Paper Website Code

2025

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)

Paper