Kshitij Bansal
Kshitij Bansal
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
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
482014
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
42*2019
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
282016
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
232015
Graph Representations for Higher-Order Logic and Theorem Proving.
A Paliwal, SM Loos, MN Rabe, K Bansal, C Szegedy
AAAI, 2967-2974, 2020
222020
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
192013
Beyond shapes: Lists with ordered data
K Bansal, R Brochenin, E Lozes
International Conference on Foundations of Software Science and …, 2009
172009
Model-checking bounded multi-pushdown systems
K Bansal, S Demri
International Computer Science Symposium in Russia, 405-417, 2013
12*2013
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
92018
Decision procedures for finite sets with cardinality and local theory extensions
K Bansal
New York University, 2016
92016
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
International Conference on Learning Representations (ICLR), 2020, 2020
42020
Mathematical Reasoning via Self-supervised Skip-tree Training
MN Rabe, D Lee, K Bansal, C Szegedy
arXiv preprint arXiv:2006.04757, 2020
12020
Reasoning with Finite Sets and Cardinality Constraints in SMT
C Tinelli, A Reynolds, C Barrett, K Bansal
Logical Methods in Computer Science 14, 2018
12018
Commutativity condition refinement
K Bansal, E Koskinen, O Tripp
EC2, 2015
12015
Synthesizing Precise and Useful Commutativity Conditions
K Bansal, E Koskinen, O Tripp
Journal of Automated Reasoning, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–15