Provably Correct Physics-Informed Neural Networks.
Francisco EirasAdel BibiRudy BunelKrishnamurthy (Dj) DvijothamPhilip H. S. TorrM. Pawan KumarPublished in: CoRR (2023)
Keyphrases
- provably correct
- neural network
- situation calculus
- formal methods
- pattern recognition
- artificial intelligence
- artificial neural networks
- self organizing maps
- genetic algorithm
- computer science
- fuzzy systems
- error estimates
- neural nets
- recurrent neural networks
- feed forward
- neural network model
- back propagation
- fuzzy logic
- multi layer
- rule extraction
- multilayer perceptron
- constraint satisfaction
- training process
- network architecture
- case study