Petrov, Ivo

6 publications

ICLR 2026 The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Milenov Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar D. Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev, Mislav Balunovic, Martin Vechev

ICLR 2025 GRAIN: Exact Graph Reconstruction from Gradients Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin Vechev

NeurIPS 2025 MathArena: Evaluating LLMs on Uncontaminated Math Competitions Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanović, Martin Vechev

ICML 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Mislav Balunovic, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev

ICLRW 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Jasper Dekoninck, Mislav Balunovic, Nikola Jovanović, Ivo Petrov, Martin Vechev

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