Ilker Turkaslan

According to our database, Ilker Turkaslan authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

J. Mach. Learn. Res., 2020

2018

A Unified View of Piecewise Linear Neural Network Verification.

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, Pawan Kumar Mudigonda

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Piecewise Linear Neural Network verification: A comparative study.

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar

CoRR, 2017