Minchev, Kristian

1. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
   2025/03/27 by Ivo Petrov, Petrov, Ivo, Jasper Dekoninck +13 · 35 voices · 48 citations
   #cs.CL
2. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
   2025/06/23 by Jasper Dekoninck, Ivo Petrov, Dekoninck, Jasper +29 · 12 citations
   Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
3. Incentivizing Truthful Collaboration in Heterogeneous Federated Learning
   2024/12/01 by Chakarov, Dimitar, Tsoy, Nikita, Minchev, Kristian +1 · 2 citations
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)