--- title: "Mislav Balunović — author profile and papers in our library" description: "Mislav Balunović, Commissariat à l'Énergie Atomique et aux Énergies Alternatives: 2 papers on Elamur Research (2025), h-index 14…" canonical: "https://research.elamur.ai/free/en/authors/mislav-balunovic/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/mislav-balunovic/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Mislav Balunović # Mislav Balunović Mislav Balunović 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 [Ivo Petrov](https://md.research.elamur.ai/free/en/authors/ivo-petrov/), [Jasper Dekoninck](https://md.research.elamur.ai/free/en/authors/jasper-dekoninck/), [Martin Vechev](https://md.research.elamur.ai/free/en/authors/martin-vechev/). 2 papers in our library · 2025 [OpenAlex](https://openalex.org/A5018338894) · [ORCID](https://orcid.org/0000-0002-7024-7688) · [**h-index 14**](https://openalex.org/authors/A5018338894) · [40 works](https://openalex.org/works?filter=author.id:A5018338894) · [872 citations](https://openalex.org/works?filter=author.id:A5018338894&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/mislav-balunovic/#papers) · [🔗 Cited 182 times in our library](https://md.research.elamur.ai/free/en/authors/mislav-balunovic/cited-by/) · [3 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #7744](https://md.research.elamur.ai/free/en/paper-stars/page/78/#star-7744) 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=Mislav+Balunovi%C4%87) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Mislav+Balunovi%C4%87) · [dblp](https://dblp.org/search?q=Mislav+Balunovi%C4%87) · [ACL Anthology](https://aclanthology.org/search/?q=Mislav+Balunovi%C4%87) ## Affiliations [🔬**CEA Paris-Saclay - Etablissement de Saclay** Saclay · France 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/labs/cea-paris-saclay-etablissement-de-saclay/) · [🏛️**Commissariat à l'Énergie Atomique et aux Énergies Alternatives** Paris · France 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/government/commissariat-a-l-energie-atomique-et-aux-energies-alternatives/) · [🏛️**Laboratoire d'Intégration des Systèmes et des Technologies** Palaiseau · France 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/government/laboratoire-d-integration-des-systemes-et-des-technologies/) · [🎓**Université Paris-Saclay** Gif-sur-Yvette · France 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/universite-paris-saclay/) · [🎓**ETH Zurich** Zurich · Switzerland 2018–2025 · 19 papers](https://md.research.elamur.ai/free/en/universities/eth-zurich/) 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/mislav-balunovic/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 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 ↗](https://doi.org/10.52202/079017-2636) neural information processing systems · no summary yet**Edoardo Debenedetti et al.*2024 · 146 citations* 2. **[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* 3. **[DL2: Training and Querying Neural Networks with Logic. ↗](https://openalex.org/W2923924002) International Conference on Machine Learning · no summary yet**Marc Fischer et al.*2019 · 76 citations* 4. **[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* 5. [**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. - [Ivo Petrov](https://md.research.elamur.ai/free/en/authors/ivo-petrov/) ×2 - [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 ## 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/) - International Conference on Machine Learning - neural information processing systems ## 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 →](https://md.research.elamur.ai/free/en/authors/mislav-balunovic/cited-by/). Updated 2 November 2026