Guiding Theorem Proving by Recurrent Neural Networks.
Bartosz PiotrowskiJosef UrbanPublished in: CoRR (2019)
Keyphrases
- recurrent neural networks
- theorem proving
- feed forward
- first order logic
- automated reasoning
- decision procedures
- neural network
- recurrent networks
- automated deduction
- inference rules
- proof planning
- theorem prover
- reservoir computing
- term rewriting
- proof procedure
- parallel search
- echo state networks
- geometry theorem proving
- automatic programming
- artificial neural networks
- feedforward neural networks
- combinatorial search
- neural model
- automated theorem proving
- consequence finding
- nonlinear dynamic systems
- distributed search
- logical inference
- probabilistic model
- artificial intelligence
- fuzzy logic
- natural language