@misc{indiciae373642e7e047, title = {BaxBench: Can LLMs Generate Correct and Secure Backends?}, author = {Mark Vero and Niels Mündler and Victor Chibotaru and Veselin Raychev and Maximilian Baader and Nikola Jovanović and Jingxuan He and Martin Vechev}, year = {2025}, url = {https://arxiv.org/abs/2502.11844}, note = {Source identifier: 2502.11844} }