Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ivo Petrov
Observed name:
Petrov, Ivo
Institutions:
ETH Zurich,
Sofia University "St. Kliment Ohridski"
Observed institutions:
ETH Zurich,
Sofia University "St. Kliment Ohridski"
OpenAlex ID:
A5081872880
DAGER: Exact Gradient Inversion for Large Language Models
2024
·
Ivo Petrov
, Dimitar Dimitrov
, et al.
·
neural information processing systems
·
11
MathArena: Evaluating LLMs on Uncontaminated Math Competitions
2025
·
Mislav Balunovic
, Jasper Dekoninck
, et al.
·
neural information processing systems
·
5
PDF
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
2025
·
Petrov, Ivo
, Dekoninck, Jasper
, et al.
·
arXiv (Cornell University)
·
3
PDF
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
2025
·
Dekoninck, Jasper
, Petrov, Ivo
, et al.
·
arXiv (Cornell University)
·
1
PDF
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
2025
·
Petrov, Ivo
, Dekoninck, Jasper
, et al.
·
arXiv (Cornell University)
·
1
PDF
DAGER: Exact Gradient Inversion for Large Language Models
2024
·
Petrov, Ivo
, Dimitrov, Dimitar I.
, et al.
·
arXiv (Cornell University)
·
1
PDF
SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics
2026
·
Georgiev, Nikolay
, Drencheva, Maria
, et al.
·
arXiv (Cornell University)
PDF
TIGER: Inverting Transformer Gradients via Embedding-Subspace Distance Optimization
2026
·
Kalikman, William
, Petrov, Ivo
, et al.
·
arXiv (Cornell University)
PDF
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
2026
·
Petrov, Ivo
, Dekoninck, Jasper
, et al.
·
arXiv (Cornell University)
PDF
Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
2026
·
Dekoninck, Jasper
, Jovanović, Nikola
, et al.
·
arXiv (Cornell University)
PDF
SABER-Math: An Automated Reranking Benchmark for Mathematical Information Retrieval
2026
·
Nikolay Georgiev
, Maria Drencheva
, et al.
·
Conference on Empirical Methods in Natural Language Processing (EMNLP)
PDF
GRAIN: Exact Graph Reconstruction from Gradients
2025
·
Drencheva, Maria
, Petrov, Ivo
, et al.
·
arXiv (Cornell University)
PDF
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
2025
·
Balunović, Mislav
, Dekoninck, Jasper
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
14
Citation count:
22
H-index:
3
I10-index:
1
Year
Topic
Type
