Follow
Kshitij Bansal
Kshitij Bansal
kshitij.io
Verified email at kshitij.io - Homepage
Title
Cited by
Cited by
Year
HOList: An environment for machine learning of higher-order logic theorem proving
K Bansal, S Loos, M Rabe, C Szegedy, S Wilcox
International Conference on Machine Learning, 454-463, 2019
109*2019
Graph representations for higher-order logic and theorem proving
A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2967-2974, 2020
652020
A tale of two solvers: Eager and lazy approaches to bit-vectors
L Hadarean, K Bansal, D Jovanović, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 680-695, 2014
582014
A new decision procedure for finite sets and cardinality constraints in SMT
K Bansal, A Reynolds, C Barrett, C Tinelli
International Joint Conference on Automated Reasoning, 82-98, 2016
262016
Deciding local theory extensions via e-matching
K Bansal, A Reynolds, T King, C Barrett, T Wies
International Conference on Computer Aided Verification, 87-105, 2015
262015
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
International Conference on Learning Representations (ICLR), 2020, 2020
232020
Mathematical Reasoning via Self-supervised Skip-tree Training
MN Rabe, D Lee, K Bansal, C Szegedy
International Conference on Learning Representations (ICLR), 2021, 2021
222021
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
222013
Beyond shapes: Lists with ordered data
K Bansal, R Brochenin, E Lozes
International Conference on Foundations of Software Science and …, 2009
192009
Automatic generation of precise and useful commutativity conditions
K Bansal, E Koskinen, O Tripp
International Conference on Tools and Algorithms for the Construction and …, 2018
172018
Model-checking bounded multi-pushdown systems
K Bansal, S Demri
International Computer Science Symposium in Russia, 405-417, 2013
14*2013
Reasoning with Finite Sets and Cardinality Constraints in SMT
K Bansal, C Barrett, A Reynolds, C Tinelli
Logical Methods in Computer Science 14, 2018
82018
Decision procedures for finite sets with cardinality and local theory extensions
K Bansal
New York University, 2016
82016
Decomposing Data Structure Commutativity Proofs with -Differencing
E Koskinen, K Bansal
International Conference on Verification, Model Checking, and Abstract …, 2021
12021
Synthesizing Precise and Useful Commutativity Conditions
K Bansal, E Koskinen, O Tripp
Journal of Automated Reasoning, 2020
12020
Commutativity condition refinement
K Bansal, E Koskinen, O Tripp
EC2, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–16