Мария Дренчева

Студент бакалавър

Имейл: [email protected]

За мен:

Казвам се Мария Дренчева и съм първокурсник в Факултета по математика и информатика на Софийския университет и INSAIT стипендиант, част от програмата EXPLORER от октомври 2024 г., работеща в областта на безопасния изкуствен интелект, по-специално в обръщането на градиенти. Ръководители са ми проф. Мартин Вечев, Димитър Димитров и Иво Петров.

Образование:

  • Факултет по математика и информатика, Софийски университет – Окт. 2024 – До момента
    Бакалавърска степен по информатика
  • Софийска математическа гимназия – септ. 2016 – май 2024

Ученичка

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

  • Стажантска програма lNSAIT Institute STARS за ученици – юли 2023 – септември 2023

Награди:

  • Европейска олимпиада по математика за девойки 2023 – Златен медал с максимален резултат (42/42)
  • Международна Жаутиковска олимпиада по математика 2023 – Златен медал
  • Балканска олимпиада по математика 2023 – Бронзов медал
  • Младша Балканска олимпиада по математика 2019, 2020 – Бронзов и Сребърен медал
  • Румънски Мастърс по математика 2023 – Бронзов медал
  • Българска национална диплома – Най-високо национално отличие за завършили средно образование
  • Международен турнир на младите математици 2023 – златен медал и първо място в общото класиране, част от отбор „България“

2026

Nikolay Georgiev, Maria Drencheva, Kseniia Ibragimova, Ivo Petrov, Dimitar I. Dimitrov,  Martin Vechev
SABER-Math: An Automated Reranking Benchmark for Mathematical Information Retrieval
In: The 2026 Conference on Empirical Methods in Natural Language Processing (EMNLP 2026)

Paper Code Website

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)

Paper Website Code

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)

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