LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Haiming WangHuajian XinChuanyang ZhengLin LiZhengying LiuQingxing CaoYinya HuangJing XiongHan ShiEnze XieJian YinZhenguo LiHeng LiaoXiaodan LiangPublished in: CoRR (2023)
Keyphrases
- theorem proving
- theorem prover
- first order logic
- automated theorem proving
- automatic programming
- decision procedures
- automated deduction
- network architecture
- logical inference
- parallel search
- inference rules
- automated reasoning
- neural network
- term rewriting
- proof planning
- proof procedure
- proof search
- geometry theorem proving
- distributed search
- consequence finding
- combinatorial search
- artificial intelligence
- natural deduction
- knowledge representation
- knowledge base
- equational theories
- machine learning