HolStep is a dataset based on higher-order logic (HOL) proofs, for the purpose of developing new machine learning-based theorem-proving strategies.

Source: HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

Papers


Paper Code Results Date Stars

Dataset Loaders


No data loaders found. You can submit your data loader here.

Tasks


Similar Datasets


License


  • BSD-3-Clause

Modalities


Languages