NEWS AND EVENTS

2 July 2025, Sofia, Bulgaria. The Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) at Sofia University “St. Kliment Ohridski” is launching a joint program (insait.ai/mit/) with the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT), USA. The partnership was announced today at a special ceremony attended by […]

INSAIT and ETH Zurich announces the release of the Open Proof Corpus (OPC) — the largest public dataset of mathematical proofs generated by large language models (LLMs) and meticulously annotated for correctness by human experts. Alongside the dataset, INSAIT has published a large-scale study analyzing the performance of today’s AI models in mathematical proof generation. […]

We are pleased to announce that two papers co-authored by INSAIT researcher Jakub Tetek, in collaboration with Richard Hladík (PhD student at ETH Zurich and former INSAIT visitor), have been accepted to the Foundations of Responsible Computing (FORC) 2025 symposium. One of the papers was honored with the Best Student Paper Award. FORC 2025, held […]

INSAIT, in collaboration with leading international research institutions, is proud to announce the release of SceneSplat—the first system for instant 3D object discovery from text within photorealistic scenes. With SceneSplat, users can search for any phrase, not just a predefined set of categories, and instantly identify relevant objects directly in 3D space. Built on top […]

EarthMind, a cutting-edge foundational AI model designed to advance our understanding of Earth Observation (EO) satellite data. Developed in collaboration with the University of Trento, TU Berlin, Technical University of Munich, and the University of Pisa, EarthMind represents a significant step forward in the democratization of access to space data. EarthMind is a multimodal AI […]

INSAIT paper “Exploration-Driven Generative Interactive Environments,” led by INSAIT doctoral student Nedko Savov, has been accepted for publication at CVPR 2025. This work is a collaborative effort between INSAIT, ETH Zurich, and TU Munich. Research Highlights Training AI to simulate, control, and generate virtual environments typically requires large-scale video datasets and expert demonstrations, which are […]

The Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) is proud to announce the inaugural GAIA – Symposium on AI for Earth and Space Observation with Foundation Models (https://gaia.insait.ai/), taking place this summer in Sofia, Bulgaria. This landmark event will bring together world-renowned experts from leading global institutions to explore how cutting-edge artificial intelligence—especially […]

INSAIT is proud to announce a historic milestone at the 2025 International Conference on Robotics and Automation (ICRA), held this year in Atlanta, USA—the world’s premier robotics research event. Thanks to INSAIT, this is the first time in years that a Bulgarian organization has a paper accepted at ICRA! This ground-breaking achievement is made possible […]

Dr. Jinjin Gu has joined INSAIT as a tenure-track faculty member, bringing exceptional expertise in artificial intelligence and computer vision to our growing research community. At just 29 years old, Dr. Gu is widely recognized as a rising star in the field. His work has amassed over 10,000 citations, and he has been named among […]

INSAIT is expanding its research areas and is actively hiring exceptional talent in the fields of Information Security and Cryptography. We are establishing a world-class research group and invite passionate individuals to apply who are eager to advance the frontiers of security and privacy to join this transformative effort. Positions are available at all levels, […]

Guy Parmelin, head of Switzerland’s Federal Department of Economic Affairs, Education and Research, visited the Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) on Wednesday, saying its achievements surpassed his already high expectations. The institute’s work is exceptional, Parmelin added. According to him, it is very important for the state to support the development […]

As part of his official visit to Bulgaria, António Costa, President of the Council of the European Union, visited the Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) in Sofia. He was accompanied by the Prime Minister of Bulgaria, Rosen Zhelyazkov. The visit highlighted Bulgaria’s growing role in global innovation and artificial intelligence research. […]