Chibotaru, Victor

2 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