Abhinav Verma
12 papers
· 2018–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(7)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(19)
π
Interdisciplinary Bridge
π
Triple Crown
π
Keyword Champion
(2)
π
Grand Slam
π
Conference Pioneer
π
Century Club
(10)
ποΈ
Keyword Collector
(57)
Conferences
NIPS (4)
AAAI (3)
ICML (3)
ICLR (1)
IJCAI (1)
Top co-authors
Keywords
reinforcement learning
(9)
program synthesis
(4)
formal verification
(3)
neural network
(2)
continuous control
(2)
interpretable policy
(2)
symbolic method
(2)
variance reduction
(1)
autonomous driving
(1)
imitation learning
(1)
policy search
(1)
stochastic control
(1)
value function
(1)
variational autoencoder
(1)
policy gradient
(1)
continuous state space
(1)
mirror descent
(1)
model interpretability
(1)
off-policy learning
(1)
differentiable programming
(1)