OpenReview.net
  • Login

Lyuba Konova

  • Joined May 2025

Names

Lyuba Konova (Preferred)
  • Suggest Name

Emails

****@uni-sofia.bg (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

MS student
Logic and its applications , Sofia University "St. Kliment Ohridski" (uni-sofia.bg)
2023 – 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
  • Margulan Ismoldayev
  • Maria Drencheva
  • Martin Vechev
  • Milen Milenov Shumanov
  • Miroslav Marinov
  • Mislav Balunovic
  • Nikolay Drenchev
  • 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