Ivo Petrov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | GRAIN: Exact Graph Reconstruction from Gradients. | Maria Drencheva, Ivo Petrov, Maximilian Baader, Dimitar Iliev Dimitrov, Martin T. Vechev |
| 2025 | ICML | MathConstruct: Challenging LLM Reasoning with Constructive Proofs. | Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev |