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 | 182* | 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 | 115 | 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 | 48 | 2021 |

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

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 | 35 | 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 | 30 | 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 | 28 | 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 | 10 | 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 |