Ivo Petrov

According to our database, Ivo Petrov authored at least 8 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev

CoRR, June, 2025

MathArena: Evaluating LLMs on Uncontaminated Math Competitions.

Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanovic, Martin T. Vechev

CoRR, May, 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, Martin T. Vechev

CoRR, March, 2025

MathConstruct: Challenging LLM Reasoning with Constructive Proofs.

Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev

CoRR, February, 2025

GRAIN: Exact Graph Reconstruction from Gradients.

Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin T. Vechev

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

DAGER: Exact Gradient Inversion for Large Language Models.

Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2017

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

Proceedings of the Computing in Cardiology, 2017

2015

Changes in the Electrocardiogram Induced by Coronary Artery Bypass Grafting.

Dimiter Simov, Ivaylo Christov, Giovanni Bortolan, Mikhail Matveev, Ivo Petrov, Vessela Tz. Krasteva

Proceedings of the Computing in Cardiology, 2015