Кристиан Минчев

Докторант

Имейл: [email protected]

За мен

Аз съм Кристиан Минчев, докторант първа година в Института по компютърни науки, изкуствен интелект и технологии, Софийски университет от октомври 2023 г. Научен ръководител ми е д-р Никола Константинов.

Интересите ми включват теоретично машинно обучение, числена линейна алгебра, теория на игрите и други.

Образование

  • Оксфордски университет, октомври 2020 г. – юли 2023 г.
    Бакалавър по математика и компютърни науки

Награди

  • Международна олимпиада по математика 2019 г. – Сребърен медал
  • Балканска математическа олимпиада 2016 г. – бронзов медал
  • Международна Жаутиковска олимпиада 2017 г. – Златен медал

2025

Kristian Minchev, Dimitar Iliev Dimitrov, Nikola Konstantinov
LARP: Learner-Agnostic Robust Data Prefiltering
In: International Conference on Machine Learning (ICML 2025) (Workshop)

Paper

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)

Paper

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)

Paper

2024

Dimitar Chakarov, Nikita Tsoy, Kristian Minchev, Nikola Konstantinov
Incentivizing Truthful Collaboration in Heterogeneous Federated Learning
In: Conference on Neural Information Processing Systems (NeurIPS 2024) (Workshop)

Paper