{"_id":"4jLjCJhSGTFTYTwMw","bibbaseid":"bansal-loos-rabe-szegedy-wilcox-holistanenvironmentformachinelearningofhigherordertheoremprovingextendedversion-2019","authorIDs":[],"author_short":["Bansal, K.","Loos, S.","Rabe, M. N.","Szegedy, C.","Wilcox, S."],"bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Kshitij"],"propositions":[],"lastnames":["Bansal"],"suffixes":[]},{"firstnames":["Sarah"],"propositions":[],"lastnames":["Loos"],"suffixes":[]},{"firstnames":["Markus","N."],"propositions":[],"lastnames":["Rabe"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Szegedy"],"suffixes":[]},{"firstnames":["Stewart"],"propositions":[],"lastnames":["Wilcox"],"suffixes":[]}],"title":"HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)","howpublished":"arXiv:1904.03241","year":"2019","bibtex":"@misc{Bansal+al:2019,\n author = {Kshitij Bansal and\n Sarah Loos and\n Markus N. Rabe and\n Christian Szegedy and\n Stewart Wilcox},\n title = {{HOList: An} Environment for Machine Learning of Higher-Order Theorem\n Proving (extended version)},\n howpublished = {arXiv:1904.03241},\n year = {2019},\n}\n\n","author_short":["Bansal, K.","Loos, S.","Rabe, M. N.","Szegedy, C.","Wilcox, S."],"key":"Bansal+al:2019","id":"Bansal+al:2019","bibbaseid":"bansal-loos-rabe-szegedy-wilcox-holistanenvironmentformachinelearningofhigherordertheoremprovingextendedversion-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"misc","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","creationDate":"2020-01-27T02:13:33.854Z","downloads":0,"keywords":[],"search_terms":["holist","environment","machine","learning","higher","order","theorem","proving","extended","version","bansal","loos","rabe","szegedy","wilcox"],"title":"HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)","year":2019,"dataSources":["hEoKh4ygEAWbAZ5iy","cx4WvnDhXJhiLqdQo"]}