ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
Tianhao WeiLuca MarzariKai S. YunHanjiang HuPeizhi NiuXusheng LuoChangliu LiuPublished in: CoRR (2024)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- genetic algorithm
- multilayer perceptron
- model checking
- neural network model
- fuzzy logic
- multi layer
- real world
- fuzzy systems
- expert systems
- back propagation
- data sets
- open source
- hidden layer
- training algorithm
- competitive learning
- neural network is trained
- feed forward
- bayesian networks
- database systems
- learning algorithm
- databases