Ivo Petrov

According to our database, Ivo Petrov authored at least 11 papers between 2015 and 2026.

Collaborative distances:

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

2026

Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness.

Ivo Petrov, Jasper Dekoninck, Dimitar I. Dimitrov, Martin T. Vechev

CoRR, May, 2026

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs.

Jasper Dekoninck, Nikola Jovanovic, Tim Gehrunger, Kári Rögnvaldsson, Ivo Petrov, Chenhao Sun, Martin T. Vechev

CoRR, May, 2026

2025

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs.

Ivo Petrov, Jasper Dekoninck, Martin T. Vechev

CoRR, October, 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

Proceedings of the Forty-second International Conference on Machine Learning, 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 37: 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