Concepedia

Ilker Turkaslan

IT

Statistics

Publications

3

Citations

231

H-Index

3

Active since

2017

Affiliations

University of Oxford(Current)

Google (United States)

Ilker Turkaslan is an author at University of Oxford specializing in formal verification, deep learning, and automated reasoning.

Top concepts

Publications per year

2017–2019

3

Publications

3

A Unified View of Piecewise Linear Neural Network Verification

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr et al. · arXiv (Cornell University) · 2017 · 141 citations · Full text

, , +15

Piecewise Linear Neural Networks verification: A comparative study

Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr et al. · arXiv (Cornell University) · 2017 · 49 citations · Full text

, , +18

Branch and Bound for Piecewise Linear Neural Network Verification

Rudy Bunel, Jingyue Lu, Ilker Turkaslan et al. · arXiv (Cornell University) · 2019 · 41 citations · Full text

, , +14

1–3 of 3