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
185 * 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
120 2020 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
65 2014 Mathematical Reasoning via Self-supervised Skip-tree Training MN Rabe, D Lee, K Bansal, C Szegedy
International Conference on Learning Representations (ICLR), 2021, 2021
49 2021 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
39 2016 Mathematical reasoning in latent space D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
International Conference on Learning Representations (ICLR), 2020, 2020
37 2020 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
31 2015 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
29 2018 Structural counter abstraction K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
23 2013 Beyond shapes: Lists with ordered data K Bansal, R Brochenin, E Lozes
International Conference on Foundations of Software Science and …, 2009
21 2009 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
11 2018 Decision procedures for finite sets with cardinality and local theory extensions K Bansal
New York University, 2016
8 2016 Synthesizing Precise and Useful Commutativity Conditions K Bansal, E Koskinen, O Tripp
Journal of Automated Reasoning, 2020
7 2020 Decomposing Data Structure Commutativity Proofs with -Differencing E Koskinen, K Bansal
International Conference on Verification, Model Checking, and Abstract …, 2021
4 2021