Chongli Qin

Verification of Non-Linear Specifications for Neural Networks pdf

Pushmeet Kohli, Sven Gowal, Krishnamurthy Dvijotham, 2019, ICLR.

Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples pdf

Pushmeet Kohli, Sven Gowal, Jonathan Uesato, 2020, ArXiv.

An Alternative Surrogate Loss for PGD-based Adversarial Testing pdf

Po-Sen Huang, Pushmeet Kohli, Timothy A. Mann, 2019, ArXiv.

Adversarial Robustness through Local Linearization

Pushmeet Kohli, Sven Gowal, Krishnamurthy Dvijotham, 2019, NeurIPS.

Training Generative Adversarial Networks by Solving Ordinary Differential Equations pdf

Jeff Donahue, Jost Tobias Springenberg, Chongli Qin, 2020, NeurIPS.

Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations

Po-Sen Huang, Pushmeet Kohli, Sven Gowal, 2020, 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

Efficient Neural Network Verification with Exactness Characterization

Pushmeet Kohli, Sven Gowal, Krishnamurthy Dvijotham, 2019, UAI.

A Framework for robustness Certification of Smoothed Classifiers using F-Divergences

Pushmeet Kohli, Borja Balle, Sven Gowal, 2020, ICLR.

Protein structure prediction using multiple deep neural networks in the 13th Critical Assessment of Protein Structure Prediction (CASP13)

Pushmeet Kohli, Demis Hassabis, Karen Simonyan, 2019, Proteins.

Training Generative Adversarial Networks by Solving Ordinary Differential Equations pdf

Pushmeet Kohli, Jeff Donahue, Jost Tobias Springenberg, 2020, NeurIPS.