Algorithms for Verifying Deep Neural Networks
de Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett
Materias
Ediciones (1)
- Algorithms for Verifying Deep Neural Networks (2021)
Now Publishers · inglés · ISBN 9781680837865
Más obras de Changliu Liu
