Challenging SMT solvers to verify neural networks (Q3164970)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Challenging SMT solvers to verify neural networks |
scientific article |
Statements
Challenging SMT solvers to verify neural networks (English)
0 references
25 October 2012
0 references
empirical evaluation of SMT solvers
0 references
applications of automated reasoning
0 references
formal methods for adaptive systems
0 references
