Mislav Balunović
Senior Research Scientist at Google DeepMind
Zurich, Zurich, United Kingdom
Summary
👤
Senior🎓
Top SchoolMislav Balunović is a Senior Research Scientist specializing in AI for mathematics and reasoning, with nine years of experience bridging deep research and applied systems. He created MathArena, a widely used benchmark for evaluating LLM theorem-proving on recent math competitions adopted by leading labs including Google DeepMind, xAI, and Microsoft. His career spans ETH Zürich research, a stint co-founding an AI agent security startup, and now work on Gemini Thinking at DeepMind, reflecting a blend of academic rigor and product-focused impact. An IMO gold medalist and IOI silver medalist with a PhD path in computer science from ETH Zürich and a mathematics undergraduate background, he brings rare firsthand expertise in formal problem solving to ML model evaluation and improvement. Notably, he combines deep theoretical insight with practical engineering—running benchmarks that directly influence how major labs measure and train reasoning capabilities.
10 years of coding experience
7 years of employment as a software developer
Bachelor's Degree Mathematics, Bachelor's Degree Mathematics at University of Zagreb / Sveučilište u ZagrebuDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at ETH Zürich
Github Skills (37)
artificial-intelligence10
chatgpt10
llm10
agent10
openai10
ai10
colt10
gpt10
developer-tools10
cli10
security9
pytorch7
debugging7
function-call7
inference7
Programming languages (6)
Github contributions (5)
eth-sri/deepg
Oct 2019 - Jul 2021
Certifying Geometric Robustness of Neural Networks
Contributions:7 commits, 6 pushes, 1 branch in 1 year 8 months
neural-network
lve-org/lve
Oct 2023 - Feb 2024
A repository of Language Model Vulnerabilities and Exposures (LVEs).
Contributions:1 review, 19 PRs, 62 pushes in 3 months
language-modelvulnerabilities
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.