papers
Publications (3)
cs.LG2019
Verification of Non-Linear Specifications for Neural Networks
Chongli Qin, Krishnamurthy, Dvijotham +7
cs.LG2018
A Dual Approach to Scalable Verification of Deep Networks
Krishnamurthy, Dvijotham, Robert Stanforth +3
cs.LG2018
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
Jonathan Uesato, Ananya Kumar, Csaba Szepesvari +7