52 citations · 61 across the 3 of their papers we have counts for
Showing 2019 · cs.LGShow all
2 papers · 2 filters
cs.LG2019
Are Labels Required for Improving Adversarial Robustness?
Jonathan Uesato, Jean-Baptiste Alayrac, Po-Sen Huang +3
Recent work has uncovered the interesting (and somewhat surprising) finding that training models to be invariant to adversarial perturbations requires substantially larger datasets…
cs.LG2019★ 9 cited
Verification of Non-Linear Specifications for Neural Networks
Chongli Qin, Krishnamurthy, Dvijotham +7
Prior work on neural network verification has focused on specifications that are linear functions of the output of the network, e.g., invariance of the classifier output under adve…