HOList: An Environment for Machine Learning of Higher Order Logic Theorem ProvingMarkKshitij Bansal[0]Sarah LoosMarkus Rabe[0]Christian Szegedy[0]Stewart James Wilcoxinternational conference on machine learning, 2019.Cited by: 12|Bibtex|Views147EI Other Links: academic.microsoft.com|dblp.uni-trier.deCode: Data: Full TextPPT (Upload PPT)Update Full TextUpload PPTFull TextYour rating :0 TagsCommentsSubmit
