Robert Stanforth
13 papers
· 2019–2024
· 7 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(23)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(7)
π
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)
adversarial training
(2)
lagrangian relaxation
(2)
symbol substitution
(2)
adversarial attack
(2)
verified accuracy
(2)
text classification
(2)
unlabeled datum
(1)
counterfactual evaluation
(1)
synonym replacement
(1)
provable guarantee
(1)
neural network
(1)
provable robustness
(1)
fairness metrics
(1)
gradient obfuscation
(1)
unsupervised adversarial training
(1)
probabilistic specification
(1)