Kshitij Bansal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2009–2021
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICLR | Mathematical Reasoning via Self-supervised Skip-tree Training. | Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy |
| 2021 | VMCAI | Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing. | Eric Koskinen, Kshitij Bansal |
| 2020 | AAAI | Graph Representations for Higher-Order Logic and Theorem Proving. | Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy |
| 2020 | ICLR | Mathematical Reasoning in Latent Space. | Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal |
| 2019 | ICML | HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. | Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox |
| 2018 | TACAS | Automatic Generation of Precise and Useful Commutativity Conditions. | Kshitij Bansal, Eric Koskinen, Omer Tripp |
| 2016 | CADE | A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. | Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2015 | CAV | Deciding Local Theory Extensions via E-matching. | Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies |
| 2014 | CAV | A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. | Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli |
| 2013 | CSR | Model-Checking Bounded Multi-Pushdown Systems. | Kshitij Bansal, Stphane Demri |
| 2013 | TACAS | Structural Counter Abstraction. | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
| 2009 | FOSSACS | Beyond Shapes: Lists with Ordered Data. | Kshitij Bansal, Rmi Brochenin, tienne Lozes |