Generating Correctness Proofs with Neural Networks.
Alex Sanchez-SternYousef AlhessiLawrence K. SaulSorin LernerPublished in: CoRR (2019)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- back propagation
- theorem proving
- real time
- formal proof
- recurrent neural networks
- radial basis function
- fuzzy logic
- information systems
- genetic algorithm
- control system
- training data
- neural network model
- associative memory
- theorem prover
- multi layer
- databases
- automatically generating
- database