ML Anthology

Raychev, Veselin

5 publications

ICML 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev
ICLRW 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev
ICML 2021 TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer Berkay Berabi, Jingxuan He, Veselin Raychev, Martin Vechev
ICLR 2017 Program Synthesis for Character Level Language Modeling Pavol Bielik, Veselin Raychev, Martin T. Vechev
ICML 2016 PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev