Robert Stanforth
13 papers · 2019–2024 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🌍 Conference Polyglot (7) 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (5)
🐝
Cross-Pollinator
(12)
🌉
Interdisciplinary Bridge
🤝
Dynamic Duo
(10)
❓
The Questioner
⚡
Prolific Year
(8)
🚀
Conference Pioneer
💎
Century Club
(13)
Conferences
ICLR (4)
NIPS (3)
EMNLP (2)
ICCV (1)
IJCAI (1)
IJCNLP (1)
UAI (1)
Top co-authors
Keywords
adversarial robustness
(8)
neural network verification
(4)
formal verification
(4)
interval bound propagation
(3)
symbol substitution
(2)
adversarial attack
(2)
verified accuracy
(2)
text classification
(2)
adversarial training
(2)
lagrangian relaxation
(2)
robust accuracy
(1)
unlabeled datum
(1)
counterfactual evaluation
(1)
synonym replacement
(1)
provable guarantee
(1)
neural network
(1)
provable robustness
(1)
gradient obfuscation
(1)
unsupervised adversarial training
(1)
probabilistic specification
(1)
Papers
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NIPS 2021
Towards Stable and Efficient Training of Verifiably Robust Neural Networks
ICLR 2020
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
EMNLP 2020
Towards Verified Robustness under Text Deletion Interventions
ICLR 2020
A Dual Approach to Verify and Train Deep Networks
IJCAI 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
IJCNLP 2019
Adversarial Robustness through Local Linearization
NIPS 2019
Efficient Neural Network Verification with Exactness Characterization
UAI 2019
Are Labels Required for Improving Adversarial Robustness?
NIPS 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
EMNLP 2019
Scalable Verified Training for Provably Robust Image Classification
ICCV 2019
Verification of Non-Linear Specifications for Neural Networks
ICLR 2019