Algorithms for Verifying Deep Neural Networks

Algorithms for Verifying Deep Neural Networks

Versandkostenfrei!
Versandfertig in 1-2 Wochen
111,99 €
inkl. MwSt.
PAYBACK Punkte
56 °P sammeln!
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 she...