Elamur Research⌕
☰
home / authors / Mislav Balunović

Mislav Balunović

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

2 papers in our library · 2025

OpenAlex · ORCID · h-index 14 · 40 works · 872 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 182 times in our library · 3 more in our library without a page yet · ⭐ Paper Stars ranking: #7744

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

🔬CEA Paris-Saclay - Etablissement de SaclaySaclay · France2026 · 1 papercurrent🏛️Commissariat à l'Énergie Atomique et aux Énergies AlternativesParis · France2026 · 1 papercurrent🏛️Laboratoire d'Intégration des Systèmes et des TechnologiesPalaiseau · France2026 · 1 papercurrent🎓Université Paris-SaclayGif-sur-Yvette · France2026 · 1 papercurrent🎓ETH ZurichZurich · Switzerland2018–2025 · 19 papers

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

5 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. AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents ↗neural information processing systems · no summary yetEdoardo Debenedetti et al.2024 · 146 citations
  2. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
  3. DL2: Training and Querying Neural Networks with Logic. ↗International Conference on Machine Learning · no summary yetMarc Fischer et al.2019 · 76 citations
  4. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad ↗arXiv:2503.21934 · no summary yetIvo Petrov et al.2025 · 31 citations
  5. 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 182 times (of the 149,439 papers whose bibliographies we read); 48 citing papers with a page here →.

Updated

↑ back to top

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