@article{baxbenchcanllmsgeneratecorrectandsecure,
  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},
  eprint = {2502.11844},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.11844v3},
}