Algorithms for Verifying Deep Neural NetworksAuthor :
Paperback
Published : Thursday 11 February 2021
Description
Explores a class of methods that are capable of formally verifying properties of deep neural networks. The book introduces a unified mathematical framework for verifying neural networks, classify existing methods under this framework, provide pedagogical implementations of existing methods, and compare those methods on a set of benchmark problems.
You may also like ...
by
Paperback
11 Feb 2021
Electrical engineering
€99.45
Extended stock – Dispatch 5-7 days
by
Paperback
29 Jan 2024
Food and beverage technology
€99.44
Extended stock – Dispatch 5-7 days
by
Hardback
29 Jan 2024
Food and beverage technology
€245.70
Extended stock – Dispatch 5-7 days
by
Paperback
02 Mar 2023
Condensed matter physics (liquid state and solid state physics)
€245.70
Extended stock – Dispatch 5-7 days
Reviews