Idioma:

Introduction to Neural Network Verification

Albarghouthi, Aws

Foundations and trends in programming languages, 2021-12, Vol.7 (1-2), p.1-157 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Introduction to Neural Network Verification
Autor: Albarghouthi, Aws
Assuntos: Computer Science ; Deep Learning ; Machine Learning ; Program Verification ; Programming Languages ; Technology
É parte de: Foundations and trends in programming languages, 2021-12, Vol.7 (1-2), p.1-157
Notas: 10.1561/2500000051
99
978-1-68083-911-1
978-1-68083-910-4
7
280
PGL-051
Now Publishers
Introduction to Neural Network Verification
Foundations and Trends® in Programming Languages
Descrição: Deep learning has transformed the way we think of software and what it can do. But deep neural networks are fragile and their behaviors are often surprising. In many settings, we need to provide formal guarantees on the safety, security, correctness, or robustness of neural networks. This monograph covers foundational ideas from formal verification and their adaptation to reasoning about neural networks and deep learning.
Editor: Boston - Delft: Now Publishers
Idioma: Inglês

Voltar para lista de resultados

Anterior Resultado 6 Avançar Ir para próxima página