Dj's research website
Dj's research website
Home
Posts
Publications
CV
Robert Stanforth
Latest
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control
Towards Verified Robustness under Text Deletion Interventions
Adversarial Robustness through Local Linearization
Efficient Neural Network Verification with Exactness Characterization
Verification of Non-Linear Specifications for Neural Networks
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
Scalable Verified Training for Provably Robust Image Classification
A dual approach to scalable verification of deep networks
Cite
×