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 | 48 | 2014 |

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 | 28 | 2016 |

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 | 23 | 2015 |

Graph Representations for Higher-Order Logic and Theorem Proving. A Paliwal, SM Loos, MN Rabe, K Bansal, C Szegedy AAAI, 2967-2974, 2020 | 22 | 2020 |

Structural counter abstraction K Bansal, E Koskinen, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2013 | 19 | 2013 |

Beyond shapes: Lists with ordered data K Bansal, R Brochenin, E Lozes International Conference on Foundations of Software Science and …, 2009 | 17 | 2009 |

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 | 9 | 2018 |

Decision procedures for finite sets with cardinality and local theory extensions K Bansal New York University, 2016 | 9 | 2016 |

Mathematical reasoning in latent space D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal International Conference on Learning Representations (ICLR), 2020, 2020 | 4 | 2020 |

Mathematical Reasoning via Self-supervised Skip-tree Training MN Rabe, D Lee, K Bansal, C Szegedy arXiv preprint arXiv:2006.04757, 2020 | 1 | 2020 |

Reasoning with Finite Sets and Cardinality Constraints in SMT C Tinelli, A Reynolds, C Barrett, K Bansal Logical Methods in Computer Science 14, 2018 | 1 | 2018 |

Commutativity condition refinement K Bansal, E Koskinen, O Tripp EC2, 2015 | 1 | 2015 |

Synthesizing Precise and Useful Commutativity Conditions K Bansal, E Koskinen, O Tripp Journal of Automated Reasoning, 2020 | | 2020 |