HOList An Environment for Machine Learning of Higher Order Logic Theorem Proving

HOList:AnEnvironmentforMachineLearningofHigher-OrderTheoremProvingKshitijBansal1SarahLoos1MarkusRabe1ChristianSzegedy1StewartWilcox1AbstractriSpeech(Panayotovetal.,2015)forspeechrecognition,theNet...