Kshitij Bansal - Concepedia

Author

Kshitij Bansal

Google (United States)ORCID

Also Known As

Bansal, Kshitij, Hui, Jeffrey, Kshitij Bansal

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Google (United States)

About

Kshitij Bansal is an author at Google (United States) specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	166
2	Computer Science	8	8	166
3	Data Science	3	3	40
4	Language Studies	1	1	13
5	Linguistics	1	1	13

Kshitij Bansal

Publications

184

Citations

H-Index

Page 1

	Year	Citations
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, International Conference on Machine Learning Computational LogicEngineeringMachine LearningAutomated ReasoningFormal Methods	2019	68
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningKepler ConjectureDeep Reinforcement Learning	2019	19
Learning to Reason in Large Theories without Imitation Kshitij Bansal, Christian Szegedy, Markus N. Rabe, arXiv (Cornell University)	2019	18
Mathematical Reasoning in Latent Space Dennis Lee, Christian Szegedy, Markus N. Rabe, International Conference on Learning Representations Natural Language ProcessingStructured PredictionRecurrent Neural NetworkEngineeringMachine Learning	2020	15
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version) Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningAutomated ProofComputational Complexity	2019	13
Mathematical Reasoning in Latent Space Dennis Lee, Christian Szegedy, Markus N. Rabe, arXiv (Cornell University) Natural Language ProcessingStructured PredictionRecurrent Neural NetworkEngineeringMachine Learning	2019	13
Mathematical Reasoning via Self-supervised Skip-tree Training Markus N. Rabe, Dennis Lee, Kshitij Bansal, arXiv (Cornell University) Natural Language ProcessingArtificial IntelligenceSymbolic LearningEngineeringMachine Learning	2020	13
Mathematical Reasoning via Self-supervised Skip-tree Training Markus N. Rabe, Dennis Lee, Kshitij Bansal, International Conference on Learning Representations Artificial IntelligenceEngineeringMachine LearningAutomated ProofSelf-supervised Skip-tree Training	2021	13
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Proceedings of the AAAI Conference on Artificial Intelligence Artificial IntelligenceGraph Neural NetworksEngineeringMachine LearningGraph Theory	2020	12

Page 1