Learning to Prove Theorems via Interacting with Proof Assistants

Kaiyu Yang and Jia Deng. ICML 2019. (Poster PDF · Paper)