language: english
Publisher: NOW PUBLISHERS INC, February of 2021 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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.

Algorithms For Verifying Deep Neural Networks

by Mykel J. Kochenderfer, Changliu Liu, Clark Barrett, Christopher Lazarus, Christopher Strong e Tomer Arnon

Property Description
ISBN: 9781680837865
Publisher: NOW PUBLISHERS INC
Release Date: February of 2021
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Softcover
Pages: 176
Format: Book
Collection: Foundations And Trends (R) In Optimization
Categories: Books in English > Engineering > Electricity and Energy
Books in English > Others
EAN: 9781680837865