Cite
Notes
Only stored in your browser.
Attribution
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
arXiv 2024
Understanding Certified Training with Interval Bound Propagation
arXiv 2023
Certified Training: Small Boxes are All You Need
arXiv 2022
from 3 papers
Martin Vechev
Marc Fischer
Franziska Eckert
Jingxuan He
Niels Mündler
Yuhao Mao