Piecewise Linear Neural Network verification: A comparative study. - Rudy Bunel; Ilker Turkaslan; Philip H. S. Torr; Pushmeet Kohli; M. Pawan Kumar (CoRR, 2017)

A Unified View of Piecewise Linear Neural Network Verification. - Rudy Bunel; Ilker Turkaslan; Philip H. S. Torr; Pushmeet Kohli; Pawan Kumar Mudigonda (NeurIPS, 2018)

Branch and Bound for Piecewise Linear Neural Network Verification. - Rudy Bunel; Jingyue Lu; Ilker Turkaslan; Philip H. S. Torr; Pushmeet Kohli; M. Pawan Kumar (J. Mach. Learn. Res., 2020)