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: CAV (2) (2024)
Keyphrases
- neural network
- pattern recognition
- fuzzy logic
- multilayer perceptron
- artificial neural networks
- multi layer
- formal model
- data sets
- information systems
- learning rules
- fuzzy systems
- neural network is trained
- rule extraction
- formal methods
- network architecture
- recurrent neural networks
- radial basis function
- back propagation
- feed forward
- neural network model
- self organizing maps
- training algorithm
- fault diagnosis
- fuzzy neural network
- expert systems
- search engine
- cellular neural networks
- artificial intelligence