Alert button

Learning to Prove Theorems via Interacting with Proof Assistants

May 21, 2019
Kaiyu Yang, Jia Deng

Figure 1 for Learning to Prove Theorems via Interacting with Proof Assistants
Figure 2 for Learning to Prove Theorems via Interacting with Proof Assistants
Figure 3 for Learning to Prove Theorems via Interacting with Proof Assistants
Figure 4 for Learning to Prove Theorems via Interacting with Proof Assistants

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: