Drencheva, Maria

1. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
   2025/03/27 by Ivo Petrov, Petrov, Ivo, Jasper Dekoninck +13 · 35 voices · 52 citations
   Computer Science · #cs.CL
2. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
   2025/06/23 by Jasper Dekoninck, Dekoninck, Jasper, Ivo Petrov +29 · 13 citations
   Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
3. GRAIN: Exact Graph Reconstruction from Gradients
   2025/03/03 by Drencheva, Maria, Petrov, Ivo, Baader, Maximilian +2 · 3 citations
   #Distributed #FOS: Computer and information sciences #I.2.11 #K.4.1 #Machine Learning (cs.LG) #Parallel #and Cluster Computing (cs.DC)