Студент бакалавър
Николай Георгиев
Имейл: [email protected]
За мен:
Казвам се Николай Георгиев. Аз съм първокурсник в Факултета по математика и информатика на Софийския университет и INSAIT стипендиант в програмата EXPLORER от октомври 2024 г. В момента работя в областта на AI за математика (подобряване на способностите на LLM за решаване на сложни математически проблеми). Научен ръководител съм на проф. Мартин Вечев, Димитър Димитров и Иво Петров. Другите ми интереси включват лингвистика и компютърна сигурност.
Образование:
- Факултет по математика и информатика, Софийски университет – Окт. 2024 – До момента
Бакалавър Информатика - СМГ „Св. Климент Охридски“, Силистра – септ. 2016 – май 2024
Награди:
- Международна олимпиада по лингвистика 2024, Бразилия – бронзов медал
- Международна олимпиада по лингвистика 2023, Банско – бронзов медал
- Международна Жаутиковска олимпиада 2022, 2023 – Бронзови медали (Математика)
- Лауреат на Българската национална олимпиада по лингвистика през 2023 и 2024 г., част от Националния отбор
- Лауреат на Българската национална математическа олимпиада през 2023 г., част от Разширения национален отбор
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)
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)
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)
