Robert Stanforth
12 papers · 2019–2024 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (26) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π
Keyword Champion
(5)
π
Keyword Trendsetter Combo
(3)
π§
Keyword Pioneer
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
π
Conference Pioneer
β
The Questioner
Top co-authors
Research topics
Machine Learning
(10)
Artificial Intelligence
(7)
Deep Learning
(7)
Core AI
(7)
Optimization & Theory Β· Machine Learning
(7)
Learning Types Β· Machine Learning
(4)
Optimization & Theory Β· Deep Learning
(4)
Learning Types Β· Deep Learning
(3)
Natural Language Processing
(2)
Application Areas
(2)
Architectures
(2)
Applications
(1)
Generation
(1)
Techniques
(1)
Keywords
adversarial robustness
(8)
interval bound propagation
(5)
neural network verification
(5)
adversarial training
(4)
formal verification
(3)
lagrangian relaxation
(2)
verified robustness
(2)
verified accuracy
(2)
adversarial attack
(2)
robust classification
(1)
convex relaxation
(1)
natural language inference
(1)
semidefinite programming
(1)
neural network optimization
(1)
model safety
(1)
text classification
(1)
model training
(1)
fairness metric
(1)
language model
(1)
adversarial perturbation
(1)
Papers
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NeurIPS 2021
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation
EMNLP 2020
Towards Stable and Efficient Training of Verifiably Robust Neural Networks
ICLR 2020
Towards Verified Robustness under Text Deletion Interventions
ICLR 2020
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
EMNLP 2019
A Dual Approach to Verify and Train Deep Networks
IJCAI 2019
Adversarial Robustness through Local Linearization
NeurIPS 2019
Are Labels Required for Improving Adversarial Robustness?
NeurIPS 2019
Efficient Neural Network Verification with Exactness Characterization
UAI 2019
Scalable Verified Training for Provably Robust Image Classification
ICCV 2019
Verification of Non-Linear Specifications for Neural Networks
ICLR 2019