Kshitij Bansal

机构：Medanta The Medicity · ORCID：0009-0000-8992-4071

发表论文 45 篇 · 总被引 1486 次 · h-index 14

代表论文

• Gemini: A Family of Highly Capable Multimodal Models (2023 · arXiv (Cornell University) · 被引 843)
• Graph Representations for Higher-Order Logic and Theorem Proving (2020 · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 被引 69)
• HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving (2019 · International Conference on Machine Learning · 被引 68)
• HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019 · arXiv (Cornell University) · 被引 20)
• Learning to Reason in Large Theories without Imitation (2019 · arXiv (Cornell University) · 被引 18)
• Mathematical Reasoning in Latent Space (2020 · International Conference on Learning Representations · 被引 15)