Kaloyan Tsvetkov

Doctoral Researcher

Email: [email protected]

About me:

I am a Researcher at the Institute for Computer Science, Artificial Intelligence and Technology, starting in October 2025. My research will be on robust and trustworthy ML under the guidance of Dr. Nikola Konstantinov. I am particularly interested in performative learning and computational learning theory.

Education:

Sofia University “St. Kliment Ohridski”:

  • BSc in Computer Science (October 2021 to July 2025)
  • MSc in Computer Linguistics (October 2025 to February 2027 (expected))

Relevant Experience:

Teaching assistant at Sofia University “St. Kliment Ohridski”

  • Discrete Mathematics (2022 to 2025)
  • Design and Analysis of Algorithms (2022 to 2025)
  • Algebra (2024 to 2025)

Research Internship at INSAIT (March 2025 – July 2025)

Awards:

  • National Mathematics Students’ Olympiad – silver and bronze medals
  • Finalist in National Mathematics Olympiad – three times

FMI Codes (Students’ Team Hackathon) – 1st and 2nd places

2026

Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
The Fourteenth International Conference on Learning Representations (ICLR 2026)

Paper

2025

Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
In: International Conference on Machine Learning (ICML 2025) (Workshop)

Paper