Kshitij Bansal
Source-listed: Google Research
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- CodeGemma: Open Code Models Based on GemmaSaved credit: Contributor · 2024Explore people connected to this work →
- Gemini: A Family of Highly Capable Multimodal ModelsSaved credit: Contributor · 2023Explore people connected to this work →
- HOList: An Environment for Machine Learning of Higher-Order Theorem ProvingSaved credit: First author · 2019Explore people connected to this work →
- Mathematical Reasoning in Latent SpaceSaved credit: Contributor · 2020Explore people connected to this work →
- Graph Representations for Higher-Order Logic and Theorem ProvingSaved credit: Contributor · 2020Explore people connected to this work →