Kshitij Bansal
4 papers · 2019–2021 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(11)
Conferences
ICLR (2)
AAAI (1)
ICML (1)
Top co-authors
Keywords
automated reasoning
(2)
theorem proving
(2)
higher-order logic
(2)
deep learning
(1)
formal methods
(1)
formal verification
(1)
proof search
(1)
automated theorem proving
(1)
theorem prover
(1)
formal proof
(1)
graph neural network
(1)
formula representation
(1)
deep reinforcement learning
(1)
holist benchmark
(1)
reinforcement learning
(1)
knowledge representation
(1)