OpenReview.net
  • Login

Nikolay Drenchev

  • Joined June 2025

Names

Nikolay Drenchev (Preferred)
,
Nikolay Petrov Drenchev
  • Suggest Name

Emails

****@gmail.com (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

Undergrad student
Sofia Math High School (smg.bg)
2013 – 2025
 
  • Suggest Position

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

No areas of expertise listed

  • Suggest Expertise

Publications

  • The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs

    Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Milenov Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar D. Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev, Mislav Balunovic, Martin Vechev
    • AI4Math@ICML25 Poster
    • Readers: Everyone

Co-Authors

  • Ivo Petrov
  • Jasper Dekoninck
  • Kalina Nikolova
  • Kaloyan Tsvetkov
  • Kristian Minchev
  • Lazar D. Todorov
  • Lyuba Konova
  • Margulan Ismoldayev
  • Maria Drencheva
  • Martin Vechev
  • Milen Milenov Shumanov
  • Miroslav Marinov
  • Mislav Balunovic
  • Nikolay Georgiev
  • Vanesa Kalinkova
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • FAQ
  • Terms of Use / Privacy Policy
  • News
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • News
  • FAQ
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview