🧑🔬 Mislav Balunović — papers of 2025 — Elamur Research2 papers · all years of Mislav BalunovićMathArena: 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/mislav-balunovic/year/2025/