A Survey on Deep Learning for Theorem Proving.
Zhaoyu LiJialiang SunLogan MurphyQidong SuZenan LiXian ZhangKaiyu YangXujie SiPublished in: CoRR (2024)
Keyphrases
- deep learning
- theorem proving
- unsupervised learning
- first order logic
- term rewriting
- unsupervised feature learning
- machine learning
- theorem prover
- inference rules
- proof procedure
- deep architectures
- proof planning
- parallel search
- weakly supervised
- geometry theorem proving
- mental models
- consequence finding
- active learning
- reinforcement learning
- multiscale
- artificial intelligence