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. Higher-order interactive theorem provers
enable the formalization of arbitrary mathematical theories and thereby present
an interesting, open-e… Read more

Similar