Kshitij Bansal

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al. · International Conference on Machine Learning · 2019 · 68 citations

Computational Logic, Engineering, Machine Learning +7

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al. · arXiv (Cornell University) · 2019 · 19 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +14

Learning to Reason in Large Theories without Imitation

Kshitij Bansal, Christian Szegedy, Markus N. Rabe et al. · arXiv (Cornell University) · 2019 · 18 citations · Full text

Mathematical Reasoning in Latent Space

Dennis Lee, Christian Szegedy, Markus N. Rabe et al. · International Conference on Learning Representations · 2020 · 15 citations

Natural Language Processing, Structured Prediction, Recurrent Neural Network +14

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al. · arXiv (Cornell University) · 2019 · 13 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16