We stand with Ukraine  

Kristian Minchev

According to our database1, Kristian Minchev authored at least 4 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs.
[BibTeX]
[DOI]
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
,
Kalina Nikolova
,
Nikolay Georgiev
,
Vanesa Kalinkova
,
Margulan Ismoldayev
CoRR, June, 2025

LARP: Learner-Agnostic Robust Data Prefiltering.
[BibTeX]
[DOI]
Kristian Minchev
,
Dimitar Iliev Dimitrov
,
Nikola Konstantinov
CoRR, June, 2025

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad.
[BibTeX]
[DOI]
Ivo Petrov
,
Jasper Dekoninck
,
Lyuben Baltadzhiev
,
Maria Drencheva
,
Kristian Minchev
,
Mislav Balunovic
,
Nikola Jovanovic
,
Martin T. Vechev
CoRR, March, 2025

2024
Incentivizing Truthful Collaboration in Heterogeneous Federated Learning.
[BibTeX]
[DOI]
Dimitar Chakarov
,
Nikita Tsoy
,
Kristian Minchev
,
Nikola Konstantinov
CoRR, 2024


  Loading...