On Neural Network Equivalence Checking Using SMT Solvers.
Charis EleftheriadisNikolaos KekatosPanagiotis KatsarosStavros TripakisPublished in: FORMATS (2022)
Keyphrases
- neural network
- modulo theories
- artificial neural networks
- neural network model
- back propagation
- statistical machine translation
- neural nets
- satisfiability modulo theories
- neural network is trained
- fuzzy neural network
- network architecture
- genetic algorithm
- pattern recognition
- fuzzy logic
- fault diagnosis
- recurrent neural networks
- image reconstruction from projections
- answer set programming
- radial basis function
- bp neural network
- orders of magnitude
- activation function
- logic programs
- auto associative
- quantified boolean formulas
- sat solvers
- eigenvalue problems
- multilayer perceptron