INSAIT at ICML 2025: 2 Papers Accepted to the Main Conference and 3 to ICML Workshops in Vancouver

The Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) is proud to announce its participation at the 42nd International Conference on Machine Learning (ICML 2025), taking place in Vancouver, Canada. This year, INSAIT researchers have had two papers accepted to the main conference and three papers accepted to associated ICML workshops, marking a significant milestone for both the institute and the broader Bulgarian research community.

ICML is one of the most prestigious conferences in the field of artificial intelligence and machine learning. INSAIT remains the only institution from Bulgaria with accepted papers at the event—underscoring its leading role in pushing the frontiers of AI research in the region and beyond.

The two main conference papers from INSAIT address fundamental challenges in modern AI:

“On the Impact of Performative Risk Minimization for Binary Random Variables” explores how machine learning models not only make predictions but also shape real-world behavior in domains such as finance, hiring, and social media. The work highlights the concept of performativity in AI systems, examining the potential unintended consequences of model deployment and decision-making.

“MathConstruct: Challenging LLM Reasoning with Constructive Proofs” introduces a novel benchmark and evaluation system designed to test the mathematical reasoning abilities of large language models (LLMs). By focusing on constructive proofs, the paper lays essential groundwork for the development and assessment of AI systems capable of advanced mathematical reasoning.

We extend our sincere congratulations to all INSAIT contributors and collaborators at ICML 2025:
Nikita Tsoy, Ivan Kirev, Dr. Nikola Konstantinov, Ivo Petrov, Prof. Martin Vechev, Kristian Minchev, Dr. Dimitar I. Dimitrov, Stefan Balauca, and our SURF 2024 interns Negin Rahimi and Csaba Dékány, along with their co-authors.

🔗 A complete list of INSAIT papers at ICML 2025 can be found here https://insait.ai/publications/