wiio12/LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
PythonMIT
Issues
- 0
- 1
Final skill library?
#4 opened - 1
contaminated test set
#3 opened - 4
- 3
List of solved theorems?
#1 opened
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
PythonMIT