影响力指数

49.61/100

前 8.8%

全站排名 #5,645

发表论文5 篇

平均评分6.2

年均产出1.7 篇/年

Ivo Petrov

PhD student@Sofia University "St. Kliment Ohridski"·BG·OpenReview

研究方向

Gradient Leakage

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs

ICLR 2026Poster

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs

ICLR 2026Rejected

MathConstruct: Challenging LLM Reasoning with Constructive Proofs

ICML 2025Poster

GRAIN: Exact Graph Reconstruction from Gradients

ICLR 2025Poster

合作者 (19)

博士导师5 篇

Jasper Dekoninck

Dimitar Iliev Dimitrov

Maria Drencheva

Maximilian Baader

Mislav Balunovic

Kalina Nikolova

Kaloyan Tsvetkov