Úvod do overovania neurónových sietí

Pôvodný názov:

Introduction to Neural Network Verification

Obsah knihy:

Za posledné desaťročie sa podarilo dosiahnuť niekoľko hardvérových a softvérových pokrokov, ktoré posunuli hlboké učenie a neurónové siete do popredia v oblasti výpočtovej techniky.

Hlboké učenie spôsobilo kvalitatívny posun v našej predstave o tom, čo je softvér a čo dokáže: Každý deň sa stretávame s novými aplikáciami hlbokého učenia, od zdravotníctva až po umenie, a máme pocit, že sme len na povrchu vesmíru nových možností. Táto kniha ponúka prvé predstavenie základných myšlienok z automatizovaného overovania aplikovaných na hlboké neurónové siete a hlboké učenie.

Je rozdelená do troch častí: Časť 1 definuje neurónové siete ako grafy toku dát operátorov nad vstupmi s reálnou hodnotou. Časť 2 sa zaoberá technikami verifikácie založenými na obmedzeniach. Časť 3 pojednáva o technikách verifikácie založených na abstrakcii.

Kniha je samostatným spracovaním témy, ktorá sa nachádza na priesečníku strojového učenia a formálnej verifikácie. Môže slúžiť ako úvod do tejto oblasti pre študentov prvého ročníka magisterského štúdia alebo študentov vyšších ročníkov bakalárskeho štúdia, a to aj v prípade, že sa doteraz nestretli s hlbokým učením alebo verifikáciou.