Robert Stanforth

Identifiers

No identifiers captured yet.

Papers (4)

1. Verification of Non-Linear Specifications for Neural Networks cs.LG · 2019 · author #5
2. Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles cs.NE · 2018 · author #2
3. Training verified learners with learned verifiers cs.LG · 2018 · author #3
4. A Dual Approach to Scalable Verification of Deep Networks cs.LG · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Pushmeet Kohli 4 shared papers
• Brendan O'Donoghue 3 shared papers
• Jonathan Uesato 3 shared papers
• Sven Gowal 3 shared papers
• Grzegorz Swirszcz 2 shared papers
• Krishnamurthy (Dj) Dvijotham 2 shared papers
• Chongli Qin 1 shared papers
• Edward Grefenstette 1 shared papers
• Krishnamurthy Dvijotham 1 shared papers
• Relja Arandjelovic 1 shared papers
• Rudy Bunel 1 shared papers
• Timothy Mann 1 shared papers