Kshitij Bansal

According to our database, Kshitij Bansal authored at least 21 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.

Eric Koskinen, Kshitij Bansal

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Mathematical Reasoning via Self-supervised Skip-tree Training.

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

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Synthesizing Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

J. Autom. Reason., 2020

Language Modeling for Formal Mathematics.

Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy

CoRR, 2020

Reducing Commutativity Verification to Reachability with Differencing Abstractions.

Eric Koskinen, Kshitij Bansal

CoRR, 2020

Mathematical Reasoning in Latent Space.

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

Proceedings of the 8th International Conference on Learning Representations, 2020

Graph Representations for Higher-Order Logic and Theorem Proving.

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

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning to Reason in Large Theories without Imitation.

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

CoRR, 2019

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

CoRR, 2019

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

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

Proceedings of the 36th International Conference on Machine Learning, 2019

2018

Reasoning with Finite Sets and Cardinality Constraints in SMT.

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

Log. Methods Comput. Sci., 2018

Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).

Kshitij Bansal, Eric Koskinen, Omer Tripp

CoRR, 2018

Automatic Generation of Precise and Useful Commutativity Conditions.

Kshitij Bansal, Eric Koskinen, Omer Tripp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2016

Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions.

Kshitij Bansal

PhD thesis, 2016

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

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

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Deciding Local Theory Extensions via E-matching.

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

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

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

Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Structural Counter Abstraction.

Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Model-Checking Bounded Multi-Pushdown Systems.

Kshitij Bansal, Stéphane Demri

Proceedings of the Computer Science - Theory and Applications, 2013

2012

A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems

Kshitij Bansal, Stéphane Demri

CoRR, 2012

2009

Beyond Shapes: Lists with Ordered Data.

Kshitij Bansal, Rémi Brochenin, Étienne Lozes

Proceedings of the Foundations of Software Science and Computational Structures, 2009