LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Haiming WangHuajian XinChuanyang ZhengZhengying LiuQingxing CaoYinya HuangJing XiongHan ShiEnze XieJian YinZhenguo LiXiaodan LiangPublished in: ICLR (2024)
Keyphrases
- theorem proving
- theorem prover
- first order logic
- network architecture
- automated deduction
- inference rules
- automated theorem proving
- decision procedures
- automated reasoning
- term rewriting
- neural network
- proof procedure
- proof planning
- automatic programming
- parallel search
- logical inference
- combinatorial search
- proof search
- geometry theorem proving
- predicate calculus
- distributed search
- consequence finding
- training data
- propositional logic
- training set
- search algorithm