Bøger af Changliu Liu
Filter
Sorter efterSorter
Populære
-
1.098,95 kr. 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.
- Bog
- 1.098,95 kr.
-
597,95 - 2.169,95 kr. - Bog
- 597,95 kr.