Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.
Joshua PilipovskyVignesh SivaramakrishnanMeeko OishiPanagiotis TsiotrasPublished in: L4DC (2023)
Keyphrases
- neural network
- probabilistic model
- pattern recognition
- model checking
- bayesian networks
- probabilistic logic
- genetic algorithm
- generative model
- artificial neural networks
- fuzzy logic
- back propagation
- probability functions
- neural nets
- neural network model
- information theoretic
- self organizing maps
- posterior probability
- uncertain data
- basis functions
- fuzzy systems
- probabilistic reasoning
- activation function
- rule extraction
- signature verification
- fault diagnosis