Ivo Petrov

发表论文 12 篇 · 总被引 449 次 · h-index 7

代表论文

• MathArena: Evaluating LLMs on Uncontaminated Math Competitions (2025 · Advances in Neural Information Processing Systems 38 · 被引 303)
• Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad (2025 · arXiv.org · 被引 90)
• Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs (2026 · arXiv.org · 被引 57)
• DAGER: Exact Gradient Inversion for Large Language Models (2024 · Neural Information Processing Systems · 被引 26)
• The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs (2025 · arXiv.org · 被引 24)
• BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs (2025 · arXiv.org · 被引 23)