Introduction to Neural Network Verification
Az elmúlt évtizedben számos hardver- és szoftverfejlesztés összefogott, hogy a mélytanulás és a neurális hálózatok a számítástechnika élvonalába kerüljenek. A mélytanulás minőségi változást hozott a szoftverekről alkotott elképzeléseinkben, és abban, hogy mire képesek: Nap mint nap újabb és újabb alkalmazásokat látunk a mélytanulásra, az egészségügytől a művészetig, és úgy tűnik, mintha csak a felszínét kapargatnánk az új lehetőségek univerzumának.
Ez a könyv az automatizált ellenőrzés alapgondolatainak első bevezetését kínálja a mély neurális hálózatokra és a mélytanulásra alkalmazva. Három részre tagolódik: Az 1. rész a neurális hálózatokat valós értékű bemenetekre vonatkozó operátorok adatfolyam-gráfjaiként definiálja.
A 2. rész a verifikáció korlátozás-alapú technikáit tárgyalja.
A 3. rész az absztrakció-alapú verifikációs technikákat tárgyalja.
A könyv egy olyan téma önálló feldolgozása, amely a gépi tanulás és a formális verifikáció metszéspontjában helyezkedik el. Bevezetésként szolgálhat a területre az elsőéves végzős hallgatók vagy felsőbb éves egyetemisták számára, még akkor is, ha eddig nem találkoztak a mélytanulással vagy a verifikációval.