Introducere în verificarea rețelelor neuronale

Titlul original:

Introduction to Neural Network Verification

Conținutul cărții:

În ultimul deceniu, o serie de progrese hardware și software au contribuit la aducerea învățării profunde și a rețelelor neuronale în prim-planul informaticii.

Învățarea profundă a creat o schimbare calitativă în concepția noastră despre ceea ce este software-ul și despre ceea ce poate face acesta: În fiecare zi vedem noi aplicații ale învățării profunde, de la asistență medicală la artă, și avem impresia că abia zgâriem suprafața unui univers de noi posibilități. Această carte oferă prima introducere a ideilor fundamentale din domeniul verificării automate aplicate la rețelele neuronale profunde și la învățarea profundă.

Ea este împărțită în trei părți: Partea 1 definește rețelele neuronale ca grafuri de fluxuri de date ale operatorilor pe intrări cu valori reale. Partea 2 discută tehnicile de verificare bazate pe constrângeri. Partea a 3-a analizează tehnicile de verificare bazate pe abstractizare.

Cartea este o tratare autonomă a unui subiect care se află la intersecția dintre învățarea automată și verificarea formală. Ea poate servi ca o introducere în domeniu pentru studenții absolvenți din primul an sau pentru studenții din ultimul an de licență, chiar dacă aceștia nu au fost expuși la învățarea profundă sau la verificare.