Elamur Research⌕
☰
home / authors / Ivo Petrov

Ivo Petrov

Ivo Petrov has 2 papers in our library, in 2025, most of them on Language models & pretraining, Reasoning; often with Jasper Dekoninck, Martin Vechev, Mislav Balunović.

2 papers in our library · 2025

OpenAlex · h-index 3 · 12 works · 22 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 134 times in our library · 1 more in our library without a page yet · ⭐ Paper Stars ranking: #7741

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Sofia University "St. Kliment Ohridski"Sofia · Bulgaria2024–2026 · 6 paperscurrent

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 7The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 2 worksComputer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksLanguage and Linguistics · 2 worksMathematics · 1 workApplied Mathematics · 1 work

🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 2 worksReasoning · 2 works

 Works by year

2020s

20252 papers

 Papers

The most cited first (OpenAlex and our library).

  1. MathArena: Evaluating LLMs on Uncontaminated Math Competitions (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 (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 CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
  2. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad ↗arXiv:2503.21934 · no summary yetIvo Petrov et al.2025 · 31 citations
  3. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations

 Co-authors here

3 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/ivo-petrov/