Kshitij Bansal

New York University, USA

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers9 papers

Sort

By YearBy Citation

Mathematical Reasoning via Self-supervised Skip-tree Training

Markus Norman Rabe, Dennis Lee,Kshitij Bansal,Christian Szegedy

ICLR 2021, (2021)

Bibtex

Learning to Reason in Large Theories without Imitation

Kshitij Bansal, Sarah M. Loos,Markus N. Rabe,Christian Szegedy

arXiv: Learning, (2019)

EIBibtex

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

Kshitij Bansal, Sarah Loos,Markus Rabe,Christian Szegedy, Stewart James Wilcox

international conference on machine learning, (2019)

Cited by12EIBibtex

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

Kshitij Bansal, Sarah M. Loos,Markus N. Rabe,Christian Szegedy, Stewart Wilcox

arXiv: Logic in Computer Science, (2019)

EIBibtex

Graph Representations for Higher-Order Logic and Theorem Proving

Aditya Paliwal, Sarah M. Loos,Markus N. Rabe,Kshitij Bansal,Christian Szegedy

arXiv: Learning, (2019)

EIBibtex

Reasoning with Finite Sets and Cardinality Constraints in SMT

Kshitij Bansal,Clark Barrett,Andrew Reynolds,Cesare Tinelli

LOGICAL METHODS IN COMPUTER SCIENCE, no. 4 (2018)

Cited by1EIBibtex

A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT

Kshitij Bansal,Andrew Reynolds,Clark W. Barrett,Cesare Tinelli

Proceedings of the 8th International Joint Conference on Automated Reasoning - Volume 9706, (2016): 82-98

Cited by27EIBibtex

On Deciding Local Theory Extensions via E-matching

Kshitij Bansal,Andrew Reynolds,Tim King 0001,Clark W. Barrett,Thomas Wies

computer aided verification, (2015)

Cited by24EIBibtex

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors

Liana Hadarean,Kshitij Bansal,Dejan Jovanović,Clark Barrett,Cesare Tinelli

CAV, pp.680-695, (2014)

Cited by45EIBibtex

View All

Base Info Papers Patents Projects

Kshitij BansalBinding

Papers9 papers

Kshitij Bansal