Turkaslan, Ilker

2 publications

JMLR 2020 Branch and Bound for Piecewise Linear Neural Network Verification Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H.S. Torr, Pushmeet Kohli, M. Pawan Kumar

NeurIPS 2018 A Unified View of Piecewise Linear Neural Network Verification Rudy R Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli, Pawan K Mudigonda