Lampropoulos, Leonidas

1 publications

NeurIPS 2016 Measuring Neural Net Robustness with Constraints Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi