Иво Петров

Докторант
Имейл: [email protected]

За мен:

Аз съм Иво Петров, втора година докторант в Института за компютърни науки, изкуствен интелект и технологии, Софийски университет, с фокус върху създаването на сигурен, безопасен и надежден изкуствен интелект в групата на проф. Мартин Вечев.

Интересите ми са в областта на приложния изкуствен интелект, компютърното зрение, математическото моделиране и надеждните ML системи.

Образование

University of Cambridge, Великобритания, септември 2023 г. – юли 2024 г.

MPhil по наука, изискваща интензивна обработка на данни

University of Cambridge, Великобритания, октомври 2020 г. – юни 2023 г.

Бакалавърска степен (с отличие) по компютърни науки (първи клас)

Награди

Международна олимпиада по математика 2019 г. – Сребърен медал

Международна олимпиада по физика 2019 г. – Сребърен медал

Международна олимпиада по физика 2018 г. – Сребърен медал

Общоруска олимпиада по математика 2018 г. – Златен медал

Европейска научна олимпиада 2018 г. – Сребърен медал

Младша балканска олимпиада по математика 2016 г. – Сребърен медал

Релевантен опит

Jump Trading, Лондон, Великобритания, 06/23 – 09/23

Стажант в количествени изследвания

Optiver, Амстердам, Нидерландия, 06/22 – 08/22

Стажант в количествени изследвания

2025

Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar I. Dimitrov, Martin Vechev
GRAIN: Exact Graph Reconstruction from Gradients
In: International Conference on Learning Representations (ICLR 2025)

Mislav Balunović, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
In: International Conference on Machine Learning (ICML 2025); ICLR 2025 (Workshop)

Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunović, Nikola Jovanović, Martin Vechev
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
In: International Conference on Machine Learning (ICML 2025) (Workshop)

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)

2024

Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin Vechev
DAGER: Exact Gradient Inversion for Large Language Models
In: Conference on Neural Information Processing Systems (NeurIPS 2024)