Tomer Arnon

1 book • 1 series

Feb 11, 2021
Cover of Algorithms for Verifying Deep Neural Networks

Algorithms for Verifying Deep Neural Networks (Foundations and Trends (R) in Optimization)