Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
Haoze WuOmri IsacAleksandar ZeljicTeruhiro TagomoriMatthew L. DaggittWen KokkeIdan RefaeliGuy AmirKyle JulianShahaf BassanPei HuangOri LahavMin WuMin ZhangEkaterina KomendantskayaGuy KatzClark W. BarrettPublished in: CoRR (2024)
Keyphrases
- neural network
- back propagation
- pattern recognition
- formal model
- artificial neural networks
- genetic algorithm
- multi layer
- network architecture
- fuzzy logic
- multilayer perceptron
- data acquisition
- neural network model
- fault diagnosis
- feed forward
- neuro fuzzy systems
- neural network is trained
- formal models
- neural learning
- competitive learning
- learning rules
- real time
- formal specification
- training algorithm
- training process
- soft computing
- reinforcement learning
- feature selection
- databases