OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Lazar D. Todorov
Joined
June 2025
Names
Lazar D. Todorov
(Preferred)
Emails
****@abv.bg
(Confirmed)
Personal Links
LinkedIn
Career & Education History
Undergrad student
Sofia High School of Mathematics
(smg.bg)
2017
–
2025
Advisors, Relations & Conflicts
No relations added
Expertise
No areas of expertise listed
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
ICLR 2026 Poster
Readers:
Everyone
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
Lyuba Konova
Margulan Ismoldayev
Maria Drencheva
Martin Vechev
Milen Milenov Shumanov
Miroslav Marinov
Mislav Balunovic
Nikolay Drenchev
Nikolay Georgiev
Vanesa Kalinkova