Cargando…
Formal Verification of Neural Networks
With the increasing popularity of neural networks, it is also important to make sure that at least some properties can be guaranteed for neural networks, especially if safety is a major concern for their applications. In this work, techniques and tools for formal verification specifically made for n...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2867415 |