research
∙
12/20/2021
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Traditional automated theorem provers for first-order logic depend on sp...
share
research
∙
03/05/2021
Training a First-Order Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
research
∙
06/19/2020
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
research
∙
04/02/2020