Bansal, Kshitij

4 publications

ICLR 2021 Mathematical Reasoning via Self-Supervised Skip-Tree Training Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy

AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

ICLR 2020 Mathematical Reasoning in Latent Space Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal

ICML 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving Kshitij Bansal, Sarah Loos, Markus Rabe, Christian Szegedy, Stewart Wilcox