Стипендиант за летни изследвания на бакалавърско ниво
Имейл: [email protected]
Калина Николова
За мен
Аз съм Калина Николова, изследовател-стажант в INSAIT за лятото на 2025 г. и предстоящ последен курс в MIT. Работя върху теоретично машинно обучение под ръководството на д-р Никола Константинов.
Образование
Масачузетски технологичен институт (MIT), САЩ, септември 2022 г. – до момента
Бакалавър по компютърни науки и инженерство, втора специалност Математика
Награди
- Сребърни медали – 11-та и 9-та Европейска математическа олимпиада за момичета (EGMO 2020, 2022)
- Бронзов медал – 39-та Балканска математическа олимпиада (BMO 2022)
- Златен медал – 17-та Международна олимпиада по математика „Жаутиков“ (IZhO 2021)
Релевантен опит
- Изследовател-бакалавър, MIT Media Lab (март 2025 – май 2025)
Изследване на дифузионни модели за градски сценарии
Асистент, Катедра EECS, MIT (февруари 2024 – май 2024)
Асистент в курса Математика за компютърни науки
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)