Update README.md

README.md

@@ -125,7 +125,7 @@ We have open-sourced the OPC dataset, where we answer many open questions regard
 ```
 @article{openproofcorpus2025,
   title={The Open Proof Corpus: A Large-Scale Human Study of LLM Proofs},
-  author={Jasper Dekoninck and Ivo Petrov and  Kristian Minchev and Miroslav Marinov, Maria Drencheva and Lyuba Konova and Milen Milenov Shumanov and Kaloyan Tsvetkov and Nikolay Drenchev and Lazar D. Todorov and Kalina Nikolova and Nikolay Georgiev and Vanesa Kalinkova and Margulan Ismoldayev and Mislav Balunovic and Martin Vechev},
+  author={Jasper Dekoninck and Ivo Petrov and  Kristian Minchev and Mislav Balunovic and Martin Vechev and Miroslav Marinov, Maria Drencheva and Lyuba Konova and Milen Milenov Shumanov and Kaloyan Tsvetkov and Nikolay Drenchev and Lazar D. Todorov and Kalina Nikolova and Nikolay Georgiev and Vanesa Kalinkova and Margulan Ismoldayev},
   journal={arXiv},
   year={2025},
 }