Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.
Joshua PilipovskyVignesh SivaramakrishnanMeeko M. K. OishiPanagiotis TsiotrasPublished in: CoRR (2022)
Keyphrases
- neural network
- uncertain data
- pattern recognition
- data driven
- artificial neural networks
- multilayer perceptron
- fuzzy systems
- bayesian networks
- probability theory
- basis functions
- database
- back propagation
- computational intelligence
- fuzzy logic
- computer vision
- feed forward
- context sensitive
- fault diagnosis
- formal verification
- probabilistic approaches
- parametric family
- recurrent neural networks
- model checking
- self organizing maps
- probabilistic model
- information retrieval
- machine learning
- real time