3 code implementations • 5 Apr 2019 • Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
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