🧑🔬 Ivo Petrov — papers of 2025 — 2 papers, the most cited first2 papers · all years of Ivo PetrovMathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citationsThe Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/ivo-petrov/year/2025/