Incentivizing Truthful Collaboration in Heterogeneous Federated Learning. - Dimitar Chakarov; Nikita Tsoy; Kristian Minchev; Nikola Konstantinov (CoRR, 2024)

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad. - Ivo Petrov; Jasper Dekoninck; Lyuben Baltadzhiev; Maria Drencheva; Kristian Minchev; Mislav Balunovic; Nikola Jovanovic 001; Martin T. Vechev (CoRR, 2025)

LARP: Learner-Agnostic Robust Data Prefiltering. - Kristian Minchev; Dimitar Iliev Dimitrov; Nikola Konstantinov (CoRR, 2025)

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. - Jasper Dekoninck; Ivo Petrov; Kristian Minchev; Mislav Balunovic; Martin T. Vechev; Miroslav Marinov; Maria Drencheva; Lyuba Konova; Milen Shumanov; Kaloyan Tsvetkov; Nikolay Drenchev; Lazar Todorov; et al. (CoRR, 2025)