An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.
Ye TaoWanwei LiuFu SongZhen LiangJi WangHongxu ZhuPublished in: ATVA (1) (2023)
Keyphrases
- neural network
- pattern recognition
- fuzzy logic
- rbf network
- artificial neural networks
- back propagation
- feed forward
- cellular automata
- fuzzy systems
- multi layer
- regular expressions
- neural nets
- radial basis function
- genetic algorithm
- finite state machines
- rule extraction
- finite automata
- neural network is trained
- neural network model
- bounding box
- recurrent neural networks
- fault diagnosis
- feedforward neural networks
- competitive learning
- pattern matching
- state space