Стипендиант за летни изследвания за студенти
Имейл: [email protected]
Маргулан Исмолдаев
За мен:
Аз съм Маргулан Исмолдаев, изследователски стажант в INSAIT през лятото на 2025 г., работещ с д-р Димитър Димитров, проф. Мартин Вечев и Иво Петров. Аз съм студент бакалавър по Компютърни науки и Физика в MIT. Моят проект е фокусиран върху сигурността на Федеративното обучение, по-специално изследване на атаки с „изтичане на градиенти“, които могат да възстановят частни изображения от актуализации на модела. По-специално изследвам уязвимостите в поверителността на съвременните Vision Transformers (ViTs) и Vision-Language Models (VLMs).
Образование:
Масачузетски технологичен институт (MIT), Кеймбридж, Масачузетс, септември 2023 – май 2027 г. Бакалавър по Компютърни науки и Физика
Награди:
Международна олимпиада по астрономия (IAO): Общ победител (2022); Злато (2022, 2021, 2019)
Международна олимпиада по астрономия и астрофизика (IOAA): Злато (2020); Сребро (2022, 2021)
Международна олимпиада по физика (IPhO): Сребро (2022); Бронз (2023)
Европейска олимпиада по физика: Сребро (2022, 2023)
Балканска олимпиада по физика: Злато (2022)
Релевантен опит:
Изследовател-бакалавър, MIT Quantum Photonics AI Group, Кеймбридж, Масачузетс, февруари 2024 – май 2024 Изследователски асистент,
Popmintchev Labs / Quantum Optics, Калифорнийски университет Сан Диего, Сан Диего, Калифорния, юли 2022 – октомври 2022
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)