Static Analysis of ReLU Neural Networks with Tropical Polyhedra.
Eric GoubaultSébastien PalumbySylvie PutotLouis RustenholzSriram SankaranarayananPublished in: SAS (2021)
Keyphrases
- static analysis
- neural network
- dynamic analysis
- source code
- symbolic execution
- malicious code
- special case
- java card
- abstract interpretation
- artificial neural networks
- test generation
- genetic algorithm
- pattern recognition
- test suite
- back propagation
- line drawings
- neural network model
- convex hull
- fuzzy logic
- pattern matching
- artificial intelligence