Formal verification of piece-wise linear feed-forward neural networks (Q5096089)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal verification of piece-wise linear feed-forward neural networks |
scientific article; zbMATH DE number 7571430
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal verification of piece-wise linear feed-forward neural networks |
scientific article; zbMATH DE number 7571430 |
Statements
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks (English)
0 references
12 August 2022
0 references
0.8117377161979675
0 references
0.8077998161315918
0 references
0.8037005662918091
0 references
0.7893878221511841
0 references
0.7788800597190857
0 references
