Research Scientist
Dr. Mislav Balunović
Email: [email protected]
About me:
My name is Mislav Balunovic. I am joining INSAIT as a researcher working on AI for Mathematics. My other research interests include AI Security and Privacy. Previously, I received my PhD in Computer Science at ETH Zurich, where I was advised by Prof. Martin Vechev.
Some of my research accomplishments include ETH Medal for my master thesis and Privacy Papers for Policymakers Award 2024. Before that, I have won gold and bronze medals at the International Olympiad in Mathematics (IMO), and two silver medals at International Olympiad in Informatics (IOI).
Education:
- PhD in Computer Science at ETH Zurich
- MSc in Computer Science at ETH Zurich
- BSc in Mathematics at University of Zagreb
2025
Mislav Balunović, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
In: International Conference on Machine Learning (ICML 2025); ICLR 2025 (Workshop)
Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunović, Nikola Jovanović, Martin Vechev
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
In: International Conference on Machine Learning (ICML 2025) (Workshop)
2024
Philipp Guldimann, Alexander Spiridonov, Robin Staab, Nikola Jovanović, Mark Vero, Velko Vechev, Anna Gueorguieva, Mislav Balunović, Nikola Konstantinov, Pavol Bielik, Petar Tsankov, Martin Vechev
COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act
