Author:
Gowal Sven,Dvijotham Krishnamurthy,Stanforth Robert,Bunel Rudy,Qin Chongli,Uesato Jonathan,Arandjelovic Relja,Mann Timothy Arthur,Kohli Pushmeet
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A dual boundary robust verification method for neural networks;The Journal of Supercomputing;2024-08-15
2. CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models;Proceedings of the ACM on Software Engineering;2024-07-12
3. A Dual Relaxation Method for Neural Network Verification;International Journal of Software Engineering and Knowledge Engineering;2024-05-27
4. ReLU Hull Approximation;Proceedings of the ACM on Programming Languages;2024-01-05
5. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05