125 Limitations and Hazards, Model evaluation for extreme risks, Shevlane et al., 2023. 

126 Certified Defenses against Adversarial Examples 

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 

Provable defenses against adversarial examples via the convex outer adversarial polytope 

Differentiable Abstract Interpretation for Provably Robust Neural Networks  

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models    

Certified Adversarial Robustness via Randomized Smoothing  

127 Adversarial Examples Are Not Bugs, They Are Features  

128 An API is a set of rules and protocols that enables integration and communication between AI systems and 
other software applications. 
129 Structured access: an emerging paradigm for safe AI deployment
Capabilities and risks from frontier AI 