Skip to content
conftrace_
2025 ICML ICML 2025

BaxBench: Can LLMs Generate Correct and Secure Backends?

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

❓ The Questioner

Authors

Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

Topics

Artificial Intelligence > Core AI > AI Safety Machine Learning > Optimization & Theory > Learning Theory Artificial Intelligence > Core AI > Large Language Models

Keywords

large language model code correctness generation autonomous software development backend applications security exploits
Download PDF