| 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 | 208* | 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 | 140 | 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 | 69 | 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 | 56 | 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 | 42 | 2016 |
| Mathematical reasoning in latent space D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal International Conference on Learning Representations (ICLR), 2020, 2020 | 39 | 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 | 34 | 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 | 31 | 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 | 20 | 2009 |
| Model-checking bounded multi-pushdown systems K Bansal, S Demri International Computer Science Symposium in Russia, 405-417, 2013 | 15* | 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 | 12 | 2018 |
| Synthesizing Precise and Useful Commutativity Conditions K Bansal, E Koskinen, O Tripp Journal of Automated Reasoning, 2020 | 9 | 2020 |
| Decision procedures for finite sets with cardinality and local theory extensions K Bansal New York University, 2016 | 7 | 2016 |
| Decomposing Data Structure Commutativity Proofs with -Differencing E Koskinen, K Bansal International Conference on Verification, Model Checking, and Abstract …, 2021 | 5 | 2021 |
