Kshitij Bansal

4 papers · 2019–2021 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird

Venues

ICLR (2) AAAI (1) ICML (1)

Top co-authors

Christian Szegedy (4) Markus Rabe (3) Sarah Loos (3) Dennis Lee (2) Stewart Wilcox (1) Markus Norman Rabe (1) Aditya Paliwal (1)

Research topics

Artificial Intelligence (3) Core AI (3) Deep Learning (2) Knowledge & Reasoning (2) Architectures (2) Learning Paradigms (2) Reasoning (2) Machine Learning (1) Reinforcement Learning (1) Core Methods (1) Methods (1)

Keywords

graph neural network (2) mathematical reasoning (2) automated reasoning (2) theorem proving (2) higher-order logic (2) knowledge representation (1) language modeling (1) deep learning (1) formal methods (1) formal verification (1) latent space (1) formal mathematics (1) proof search (1) automated theorem proving (1) theorem prover (1) formal proof (1) formula representation (1) holist benchmark (1) approximate reasoning (1) deep reinforcement learning (1)

Papers

Mathematical Reasoning via Self-supervised Skip-tree Training ICLR 2021 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Mathematical Reasoning in Latent Space ICLR 2020 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019