Algorithms for Verifying Deep Neural Networks
by Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett
Mathematics
Writing a summary for young readers…
For young readers
Book data: Open Library
by Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett
Book data: Open Library