Изследователски стажант
Калоян Цветков
Имейл: [email protected]
За мен
От октомври 2025 г. съм изследовател в Института по компютърни науки, изкуствен интелект и технологии (INSAIT). Работя под ръководството на д-р Никола Константинов в областта на надеждното и устойчиво машинно обучение. Основните ми интереси са свързани с performative learning и изчислителната теория на ученето.
Образование
- Софийски университет „Св. Климент Охридски“
- Бакалавър по компютърни науки (октомври 2021 – юли 2025)
- Магистър по компютърна лингвистика (октомври 2025 – февруари 2027, очаквано)
Професионален опит
- Асистент в Софийския университет „Св. Климент Охридски“
- Дискретна математика (2022 – 2025)
- Дизайн и анализ на алгоритми (2022 – 2025)
- Алгебра (2024 – 2025)
- Изследователски стажант в INSAIT (март 2025 – юли 2025)
- Проект върху измамно поведение на LRM модели
- Участие в The Open Proof Corpus – принос към мащабно изследване на математически доказателства, генерирани от LLM
Отличия
- Национална студентска олимпиада по математика – сребърен и бронзов медал
- Финалист на Националната олимпиада по математика – трикратно
- FMI Codes (студентски хакатон) – I и II място
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)
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)
