Научен изследовател
Д-р Мислав Балунович
Имейл: [email protected]
За мен:
Казвам се Мислав Балунович. Присъединявам се към INSAIT като изследовател, работещ по изкуствен интелект за математиката. Другите ми изследователски интереси включват сигурност и поверителност на изкуствения интелект. Преди това получих докторска степен по компютърни науки в ETH Zurich, където бях съветван от проф. Мартин Вечев.
Някои от моите изследователски постижения включват ETH медал за моята магистърска теза и награда Privacy Papers for Policymakers Award 2024. Преди това съм печелил златни и бронзови медали на Международната олимпиада по математика (IMO) и два сребърни медала на Международната олимпиада по информатика (IOI).
Образование:
- Докторска степен по компютърни науки в ETH Zurich
- Магистърска степен по компютърни науки в ETH Zurich
- Бакалавърска степен по математика в Загребски университет
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
