Wprowadzenie do weryfikacji sieci neuronowych

Oryginalny tytuł:

Introduction to Neural Network Verification

Zawartość książki:

W ciągu ostatniej dekady szereg postępów w zakresie sprzętu i oprogramowania połączył siły, aby pchnąć głębokie uczenie i sieci neuronowe na czoło informatyki.

Głębokie uczenie spowodowało jakościową zmianę w naszej koncepcji tego, czym jest oprogramowanie i co może zrobić: Każdego dnia widzimy nowe zastosowania głębokiego uczenia, od opieki zdrowotnej po sztukę, i wydaje się, że dopiero zarysowujemy powierzchnię wszechświata nowych możliwości. Niniejsza książka oferuje pierwsze wprowadzenie do podstawowych idei zautomatyzowanej weryfikacji w zastosowaniu do głębokich sieci neuronowych i głębokiego uczenia.

Jest ona podzielona na trzy części: Część 1 definiuje sieci neuronowe jako grafy przepływu danych operatorów na danych wejściowych o wartościach rzeczywistych. Część 2 omawia techniki weryfikacji oparte na ograniczeniach. Część 3 omawia techniki weryfikacji oparte na abstrakcji.

Książka stanowi samodzielne opracowanie tematu, który znajduje się na przecięciu uczenia maszynowego i weryfikacji formalnej. Może służyć jako wprowadzenie do tej dziedziny dla studentów pierwszego roku studiów magisterskich lub starszych studentów studiów licencjackich, nawet jeśli nie mieli oni styczności z głębokim uczeniem się lub weryfikacją.