Kshitij Bansal

26 papers A* 5A 2B 2Misc 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
CodeGemma: Open Code Models Based on Gemma.
CoRR
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
2021 B conf
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing.
VMCAI
Eric Koskinen, Kshitij Bansal
2021 A* conf
Mathematical Reasoning via Self-supervised Skip-tree Training.
ICLR
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
2020 A* conf
Graph Representations for Higher-Order Logic and Theorem Proving.
AAAI
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
2020 J jnl
Language Modeling for Formal Mathematics.
CoRR
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
2020 A* conf
Mathematical Reasoning in Latent Space.
ICLR
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
2020 J jnl
Reducing Commutativity Verification to Reachability with Differencing Abstractions.
CoRR
Eric Koskinen, Kshitij Bansal
2020 J jnl
Synthesizing Precise and Useful Commutativity Conditions.
J. Autom. Reason.
Kshitij Bansal, Eric Koskinen, Omer Tripp
2019 J jnl
Graph Representations for Higher-Order Logic and Theorem Proving.
CoRR
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
2019 A* conf
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.
ICML
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
2019 J jnl
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
CoRR
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
2019 J jnl
Learning to Reason in Large Theories without Imitation.
CoRR
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy
2019 J jnl
Mathematical Reasoning in Latent Space.
CoRR
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
2018 J jnl
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).
CoRR
Kshitij Bansal, Eric Koskinen, Omer Tripp
2018 — conf
Automatic Generation of Precise and Useful Commutativity Conditions.
TACAS (1)
Kshitij Bansal, Eric Koskinen, Omer Tripp
2018 J jnl
Reasoning with Finite Sets and Cardinality Constraints in SMT.
Log. Methods Comput. Sci.
Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli
2017 J jnl
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT.
CoRR
Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli
2016 A conf
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT.
IJCAR
Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2016 — —
Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions.
Kshitij Bansal
2015 — conf
Deciding Local Theory Extensions via E-matching.
CAV (2)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
2015 J jnl
On Deciding Local Theory Extensions via E-matching.
CoRR
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
2014 A* conf
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.
CAV
Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
2013 Misc conf
Model-Checking Bounded Multi-Pushdown Systems.
CSR
Kshitij Bansal, Stéphane Demri
2013 A conf
Structural Counter Abstraction.
TACAS
Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
2012 J jnl
A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems
CoRR
Kshitij Bansal, Stéphane Demri
2009 B conf
Beyond Shapes: Lists with Ordered Data.
FoSSaCS
Kshitij Bansal, Rémi Brochenin, Étienne Lozes