Amazing technological breakthrough possible @S-Logix pro@slogix.in

Office Address

  • #5, First Floor, 4th Street Dr. Subbarayan Nagar Kodambakkam, Chennai-600 024 Landmark : Samiyar Madam
  • pro@slogix.in
  • +91- 81240 01111

Social List

Algorithms For Verifying Deep Neural Networks - Research Book

Algorithms For Verifying Deep Neural Networks - Research Book

Trending Research Book in Algorithms For Verifying Deep Neural Networks

Author(s) Name:  Changliu Liu; Tomer Arnon; Christopher Lazarus; Christopher Strong; Clark Barrett; Mykel J. Kochenderfer

About the Book:

   Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks work by mapping inputs to outputs through a sequence of layers. At each layer, the input to that layer undergoes an affine transformation followed by a simple nonlinear transformation before being passed to the next layer.
   Neural networks are being used for increasingly important tasks, and in some cases, incorrect outputs can lead to costly consequences, hence validation of correctness at each layer is vital. The sheer size of the networks makes this not feasible using traditional methods.
   In this monograph, the authors survey a class of methods that are capable of formally verifying properties of deep neural networks. In doing so, they introduce 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 serves as a tutorial for students and professionals interested in this emerging field as well as a benchmark to facilitate the design of new verification algorithms.

Table of contents:

1. Introduction
2. Problem Formulation
3. Overview of Methods
4. Preliminaries
5. Reachability
6. Primal Optimization
7. Dual Optimization
8. Search and Reachability
9. Search and Optimization
10. Comparison and Results

ISBN:  9781680837865

Publisher:  now publishers

Year of Publication:  2021

Book Link:  Home Page Url