Maria Drencheva
Maria Drencheva has 2 papers in our library, in 2025, most of them on Language models & pretraining, Reasoning, Evaluation & benchmarks; often with Ivo Petrov, Jasper Dekoninck, Kristian Minchev.
OpenAlex · h-index 1 · 4 works · 2 citations OpenAlex, 2026-10-14
📄 2 works in our library · 🔗 Cited 40 times in our library · ⭐ Paper Stars ranking: #9976
Affiliations
Fields, topics and concepts
📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 2 worksComputer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksLanguage and Linguistics · 2 works
🧭 Topics 3Research subjects and languages the work is about.Language models & pretraining · 2 worksReasoning · 2 worksEvaluation & benchmarks · 1 work
Works by year
2020s
Papers
- Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad (2025 · 31 citations)
Benchmarks such as MathArena show reasoning LLMs performing at near-elite levels on answer-based contests like AIME and HMMT. - The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs (2025 · 11 citations)
Progress in LLM-based proof writing is held back by the lack of a large, carefully graded collection of model-written proofs.
Co-authors here
- Ivo Petrov ×2
- Jasper Dekoninck ×2
- Kristian Minchev ×2
- Martin Vechev ×2
- Mislav Balunović ×2
- Nikola Jovanović
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/maria-drencheva/