Learning to Prove Theorems via Interacting with Proof Assistants

LearningtoProveTheoremsviaInteractingwithProofAssistantsKaiyuYang1JiaDeng1Abstracttheinductionhypothesisandsimplifyingtheresultingfor-mula.Simpleasitis,theproofrequiresunderstandingtheHumansProveth...