VeriFlow: Modeling Distributions for Neural Network Verification.
Faried Abu ZaidDaniel NeiderMustafa YalçinerPublished in: CoRR (2024)
Keyphrases
- neural network
- database
- artificial neural networks
- back propagation
- pattern recognition
- bayesian networks
- support vector machine
- multi class
- search engine
- random variables
- self organizing maps
- neural network model
- bp neural network
- gaussian distribution
- fuzzy neural network
- joint distribution
- hopfield neural network