Reluplex: a calculus for reasoning about deep neural networks (Q6108442)
From MaRDI portal
scientific article; zbMATH DE number 7704611
Language | Label | Description | Also known as |
---|---|---|---|
English | Reluplex: a calculus for reasoning about deep neural networks |
scientific article; zbMATH DE number 7704611 |
Statements
Reluplex: a calculus for reasoning about deep neural networks (English)
0 references
29 June 2023
0 references
deep neural networks
0 references
verification
0 references
satisfiability modulo theories
0 references
0 references
0 references
0 references