On Neural Network Equivalence Checking using SMT Solvers.
Charis EleftheriadisNikolaos KekatosPanagiotis KatsarosStavros TripakisPublished in: CoRR (2022)
Keyphrases
- neural network
- modulo theories
- back propagation
- artificial neural networks
- pattern recognition
- fuzzy logic
- image reconstruction from projections
- neural network is trained
- bp neural network
- multi layer perceptron
- recurrent neural networks
- highly optimized
- network architecture
- training algorithm
- neural network model
- fault diagnosis
- sat solving
- radial basis function
- learning algorithm