Kshitij Bansal

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Topics

Graph Representations

Theorem Proving

Cardinality Constraints

Higher Order Logic

Top Venues

Publications

Heri Zhao, Jeffrey Hui, Joshua Howland, Nam Nguyen, Siqi Zuo, Andrea Hu, Christopher A. Choquette-Choo, Jingyue Shen, Joe Kelley, Kshitij Bansal, Luke Vilnis, Mateo Wirth, Paul Michel, Peter Choy, Pratik Joshi, Ravin Kumar, Sarmad Hashmi, Shubham Agrawal, Zhitao Gong, Jane Fine, Tris Warkentin, Ale Jakse Hartman, Bin Ni, Kathy Korevec, Kelly Schaefer, Scott Huffman
CodeGemma: Open Code Models Based on Gemma. CoRR (2024)
Eric Koskinen, Kshitij Bansal
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing. VMCAI (2021)
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
Mathematical Reasoning via Self-supervised Skip-tree Training. ICLR (2021)
Eric Koskinen, Kshitij Bansal
Reducing Commutativity Verification to Reachability with Differencing Abstractions. CoRR (2020)
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
Language Modeling for Formal Mathematics. CoRR (2020)
Kshitij Bansal, Eric Koskinen, Omer Tripp
Synthesizing Precise and Useful Commutativity Conditions. J. Autom. Reason. 64 (7) (2020)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. ICLR (2020)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI (2020)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
Learning to Reason in Large Theories without Imitation. CoRR (2019)
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR (2019)
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
Mathematical Reasoning in Latent Space. CoRR (2019)
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR (2019)
Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli
Reasoning with Finite Sets and Cardinality Constraints in SMT. Log. Methods Comput. Sci. 14 (4) (2018)
Kshitij Bansal, Eric Koskinen, Omer Tripp
Automatic Generation of Precise and Useful Commutativity Conditions. TACAS (1) (2018)
Kshitij Bansal, Eric Koskinen, Omer Tripp
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version). CoRR (2018)
Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. CoRR (2017)
Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. IJCAR (2016)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
On Deciding Local Theory Extensions via E-matching. CoRR (2015)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
Deciding Local Theory Extensions via E-matching. CAV (2) (2015)
Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. CAV (2014)
Kshitij Bansal, Stéphane Demri
Model-Checking Bounded Multi-Pushdown Systems. CSR (2013)
Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
Structural Counter Abstraction. TACAS (2013)
Kshitij Bansal, Stéphane Demri
A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems CoRR (2012)
Kshitij Bansal, Rémi Brochenin, Étienne Lozes
Beyond Shapes: Lists with Ordered Data. FoSSaCS (2009)