Kshitij Bansal

Research Engineer, Google

Joined

July 2019

Names

Kshitij Bansal (Preferred)

Emails

****@google.com (Confirmed)

****@kshitij.io (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Research Engineer

Google (google.com)

2022 – Present

Research Engineer

X (x.team)

2022 – 2022

Software Engineer

Facebook (facebook.com)

2021 – 2022

Software Engineer

Google (google.com)

2016 – 2021

PhD student

New York University (nyu.edu)

2009 – 2016

Advisors, Relations & Conflicts

Coauthor

Clark Barrett

2016 – 2018

Coauthor

Andrew Reynolds

2015 – 2018

PhD Advisor

Thomas Wies

2013 – 2016

PhD Advisor

Clark Barrett

2009 – 2016

Expertise

No areas of expertise listed

Publications

Mathematical Reasoning via Self-supervised Skip-tree Training
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
- 2021 (modified: 20 Apr 2022)
- ICLR 2021
- Readers: Everyone
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing
Eric Koskinen, Kshitij Bansal
- Published: 01 Jan 2021, Last Modified: 08 Jun 2023
- VMCAI 2021
- Readers: Everyone
Learning to Reason in Large Theories without Imitation
Kshitij Bansal, Christian Szegedy, Markus Norman Rabe, Sarah M. Loos, Viktor Toman
- 28 Sept 2020 (modified: 05 May 2023)
- ICLR 2021 Conference Blind Submission
- Readers: Everyone
Mathematical Reasoning via Self-supervised Skip-tree Training
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
- Published: 12 Jan 2021, Last Modified: 05 May 2023
- ICLR 2021 Spotlight
- Readers: Everyone
Graph Representations for Higher-Order Logic and Theorem Proving
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy
- 2020 (modified: 14 Apr 2023)
- AAAI 2020
- Readers: Everyone
Mathematical Reasoning in Latent Space
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal
- 2020 (modified: 14 Apr 2023)
- ICLR 2020
- Readers: Everyone
Synthesizing Precise and Useful Commutativity Conditions
Kshitij Bansal, Eric Koskinen, Omer Tripp
- Published: 01 Jan 2020, Last Modified: 08 Jun 2023
- J. Autom. Reason. 2020
- Readers: Everyone
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
- 2019 (modified: 11 Nov 2022)
- ICML 2019
- Readers: Everyone
Reasoning with Finite Sets and Cardinality Constraints in SMT
Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli
- 2018 (modified: 02 Sept 2022)
- Log. Methods Comput. Sci. 2018
- Readers: Everyone
Automatic Generation of Precise and Useful Commutativity Conditions
Kshitij Bansal, Eric Koskinen, Omer Tripp
- Published: 01 Jan 2018, Last Modified: 08 Jun 2023
- TACAS (1) 2018
- Readers: Everyone

View all 16 publications