Neural Theorem Provers Delineating Search Area Using RNN.
Yu-Hao WuHou-biao LiPublished in: CoRR (2022)
Keyphrases
- theorem prover
- search algorithm
- proof search
- inference rules
- theorem proving
- neural network
- recurrent neural networks
- search strategy
- automated reasoning
- automated deduction
- search space
- nearest neighbor
- first order logic
- automated theorem proving
- higher order logic
- term rewriting
- neural model
- computer algebra
- active learning
- pairwise
- search engine