Generating correctness proofs with neural networks.
Alex Sanchez-SternYousef AlhessiLawrence K. SaulSorin LernerPublished in: MAPL@PLDI (2020)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- theorem proving
- neural network model
- artificial neural networks
- back propagation
- neural nets
- formal proof
- fuzzy logic
- multi layer
- feed forward
- training algorithm
- generation process
- automatically generating
- multilayer perceptron
- equational theories
- recurrent neural networks
- hidden layer
- activation function
- auto associative
- natural deduction
- formal proofs
- fuzzy systems
- theorem prover
- inference rules
- database
- soft computing
- first order logic
- expert systems
- computer vision
- machine learning
- real time