--- title: "Ivo Petrov — author profile and papers — Elamur Research" description: "Ivo Petrov, Sofia University \"St. Kliment Ohridski\": 2 papers on Elamur Research (2025), h-index 3 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/ivo-petrov/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/ivo-petrov/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Ivo Petrov # Ivo Petrov Ivo Petrov has 2 papers in our library, in 2025, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Jasper Dekoninck](https://md.research.elamur.ai/free/en/authors/jasper-dekoninck/), [Martin Vechev](https://md.research.elamur.ai/free/en/authors/martin-vechev/), [Mislav Balunović](https://md.research.elamur.ai/free/en/authors/mislav-balunovic/). 2 papers in our library · 2025 [OpenAlex](https://openalex.org/A5081872880) · [**h-index 3**](https://openalex.org/authors/A5081872880) · [12 works](https://openalex.org/works?filter=author.id:A5081872880) · [22 citations](https://openalex.org/works?filter=author.id:A5081872880&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/ivo-petrov/#papers) · [🔗 Cited 134 times in our library](https://md.research.elamur.ai/free/en/authors/ivo-petrov/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #7741](https://md.research.elamur.ai/free/en/paper-stars/page/78/#star-7741) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Ivo+Petrov) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Ivo+Petrov) · [dblp](https://dblp.org/search?q=Ivo+Petrov) · [ACL Anthology](https://aclanthology.org/search/?q=Ivo+Petrov) ## Affiliations [🎓**Sofia University "St. Kliment Ohridski"** Sofia · Bulgaria 2024–2026 · 6 papers*current*](https://md.research.elamur.ai/free/en/universities/sofia-university-st-kliment-ohridski/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 7 The field of science this work belongs to (OpenAlex fields).[Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) · [Applied Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/applied-mathematics/) 🧭 Topics 2 Research subjects and languages the work is about.[Language models & pretraining · 2 works](https://md.research.elamur.ai/free/en/topics/language-models/) · [Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/ivo-petrov/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/)** *(2025 · 99 citations)* Popular math benchmarks for LLMs, such as AIME 2024, are freely available online. High scores on them may therefore reflect memorization rather than reasoning, and most of them check only final answers, not proofs. Private alternatives like FrontierMath and HLE avoid leakage, but they are expensive, opaque and hard… 2. **[The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs](https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/)** *(2025 · 11 citations)* Progress in LLM-based proof writing is held back by the lack of a large, carefully graded collection of model-written proofs. ## All works 3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.*2025 · 99 citations* 2. **[Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad ↗](https://arxiv.org/abs/2503.21934) arXiv:2503.21934 · no summary yet**Ivo Petrov et al.*2025 · 31 citations* 3. [**The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs arXiv:2506.21621**Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/) ## Co-authors here 3 co-authors with a page, the most papers together first. - [Jasper Dekoninck](https://md.research.elamur.ai/free/en/authors/jasper-dekoninck/) ×2 - [Martin Vechev](https://md.research.elamur.ai/free/en/authors/martin-vechev/) ×2 - [Mislav Balunović](https://md.research.elamur.ai/free/en/authors/mislav-balunovic/) ×2 ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2025](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2025/) ## Cited by Papers of our library cite their works 134 times (of the 149,439 papers whose bibliographies we read); [36 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/ivo-petrov/cited-by/). Updated 2 November 2026