conftrace_

code correctness

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

generation (1) autonomous software development (1) backend applications (1) security exploits (1) mathematical proof (1) runtime efficiency (1) code efficiency (1) code verification (1) interactive theorem proving (1) large language model (1)

Papers

BaxBench: Can LLMs Generate Correct and Secure Backends? ICML 2025 CodeDPO: Aligning Code Models with Self Generated and Verified Source Code ACL 2025 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022