Maria Drencheva

Undergraduate student

Email: [email protected]

About me:

My name is Maria Drencheva and I am a second-year undergraduate student at the Faculty of Mathematics and Informatics, Sofia University and INSAIT Scholar part of the EXPLORER Program since October 2024, working in the field of Safe AI, specifically in gradient inversion. I am supervised by Prof. Martin Vechev, Dimitar Dimitrov and Ivo Petrov. 

Education:

  • Faculty of Mathematics and Informatics, Sofia University – Oct. 2024 – Present
    B.Sc. Informatics
  • Sofia Highschool of Mathematics – Sept. 2016 – May 2024

Highschool student

Relevant experience:

  • lNSAIT Institute STARS Highschool Internship – July 2023 – September 2023

Awards:

  • European Girls’ Mathematical Olympiad 2023 – Gold medal with a perfect score (42/42) 
  • International Zhautikov Olympiad in Mathematics 2023 – Gold medal
  • Balkan Mathematical Olympiad 2023 – Bronze medal
  • Junior Balkan Mathematical Olympiad 2019, 2020 – Bronze and Silver medal
  • Romanian Masters of Mathematics 2023 – Bronze medal 
  • Bulgarian National Diploma – Highest national distinction for high school graduates
  • International Tournament of Young Mathematicians 2023 – gold medal and first place in overall ranking, part of team “Bulgaria”

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