Summer Undergraduate Research Fellow
Email: [email protected]
Kalina Nikolova
About
I am Kalina Nikolova, a research intern at INSAIT for summer 2025 and an incoming senior at MIT. I am working on theoretical machine learning, supervised by Dr. Nikola Konstantinov.
Education
Massachusetts Institute of Technology (MIT), USA, September 2022 – Present
B.S. in Computer Science and Engineering, Minor in Mathematics
Awards
- Silver Medals – 11th & 9th European Girls’ Mathematical Olympiad (EGMO 2020, 2022)
- Bronze Medal – 39th Balkan Mathematical Olympiad (BMO 2022)
- Gold Medal – 17th International Zhautykov Olympiad in Mathematics (IZhO 2021)
Relevant Work
- Undergraduate Researcher, MIT Media Lab (Mar 2025 – May 2025)
Research on diffusion models for urban scenarios
Teaching Assistant, EECS Department, MIT (Feb 2024 – May 2024)
Assisted in Mathematics for Computer Science course
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)
