research
∙
02/19/2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
We propose a novel approach to interactive theorem-proving (ITP) using d...
research
∙
01/17/2021