Changes in the Electrocardiogram Induced by Coronary Artery Bypass Grafting. - Dimiter Simov; Ivaylo Christov; Giovanni Bortolan; Mikhail Matveev; Ivo Petrov; Vessela Tz. Krasteva (CinC, 2015)

Electrocardiographic Parameters Indicative for Increased Risk of Adverse Events in Diabetics after Coronary Artery Bypass Grafting. - Dimiter Simov; Ivaylo Christov; Iana Simova; Mikhail Matveev; Ivo Petrov (CinC, 2017)

DAGER: Exact Gradient Inversion for Large Language Models. - Ivo Petrov; Dimitar I. Dimitrov; Maximilian Baader; Mark Niklas Müller; Martin T. Vechev (NeurIPS, 2024)

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

MathConstruct: Challenging LLM Reasoning with Constructive Proofs. - Mislav Balunovic; Jasper Dekoninck; Nikola Jovanovic 001; Ivo Petrov; Martin T. Vechev (CoRR, 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)

MathArena: Evaluating LLMs on Uncontaminated Math Competitions. - Mislav Balunovic; Jasper Dekoninck; Ivo Petrov; 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)