Search Results for author:
Found 1 papers, 1 papers with code
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
We present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic.
Ranked #2 on
Automated Theorem Proving
on HOList benchmark
Cannot find the paper you are looking for? You can
Submit a new open access paper.
