Ilker Turkaslan

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Branch And Bound

Tree Search Algorithm

Piecewise Linear

Top Venues

J. Mach. Learn. Res.

Publications

Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Branch and Bound for Piecewise Linear Neural Network Verification. J. Mach. Learn. Res. 21 (2020)
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Branch and Bound for Piecewise Linear Neural Network Verification. CoRR (2019)
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, Pawan Kumar Mudigonda
A Unified View of Piecewise Linear Neural Network Verification. NeurIPS (2018)
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar
Piecewise Linear Neural Network verification: A comparative study. CoRR (2017)