Static analysis of ReLU neural networks with tropical polyhedra.
Eric GoubaultSébastien PalumbySylvie PutotLouis RustenholzSriram SankaranarayananPublished in: CoRR (2021)
Keyphrases
- static analysis
- neural network
- dynamic analysis
- source code
- symbolic execution
- malicious code
- pattern recognition
- fuzzy logic
- back propagation
- regular expressions
- test generation
- java card
- line drawings
- convex hull
- test suite
- special case
- databases
- learning algorithm
- knowledge base
- formal specification
- neural network model
- case study
- artificial neural networks