2019
Holist: An Environment for Machine Learning of Higher-Order Theorem Proving (Extended Version)
K. Bansal, S. Loos, M. N. Rabe, Christian Szegedy, S. Wilcox
Citation Graph
References [0]
No references match the current filters.
Cited by
1
papers in your library
Cites
0
Add to reading list
Notes
Tags
Paper Aliases
No aliases