Skip to content

BaxBench: Can LLMs Generate Correct and Secure Backends?

Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev

VenueA*ICML
Year2025
ProceedingsICML

Browse the full ICML paper archive.