Petrov, Ivo

5 publications

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