GRAIN: Exact Graph Reconstruction from Gradients. - Maria Drencheva; Ivo Petrov; Maximilian Baader; Dimitar Iliev Dimitrov; Martin T. Vechev (ICLR, 2025)

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad. - Ivo Petrov; Jasper Dekoninck; Lyuben Baltadzhiev; Maria Drencheva; Kristian Minchev; Mislav Balunovic; Nikola Jovanovic 001; Martin T. Vechev (CoRR, 2025)

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. - Jasper Dekoninck; Ivo Petrov; Kristian Minchev; Mislav Balunovic; Martin T. Vechev; Miroslav Marinov; Maria Drencheva; Lyuba Konova; Milen Shumanov; Kaloyan Tsvetkov; Nikolay Drenchev; Lazar Todorov; et al. (CoRR, 2025)