Abhinav Verma
12 papers · 2018–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
π Academic Marathon (7) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π 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)
Papers
Explanations for Sequential Decision-Making β an Overview
AAAI 2026
Robust Adaptive Multi-Step Predictive Shielding (Student Abstract)
AAAI 2026
RetroMoE: A Mixture-of-Experts Latent Translation Framework for Single-step Retrosynthesis
IJCAI 2025
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NIPS 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay
ICML 2023
Learning Differentiable Programs with Admissible Neural Heuristics
NIPS 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NIPS 2020
Imitation-Projected Programmatic Reinforcement Learning
NIPS 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis
AAAI 2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
ICLR 2019
Control Regularization for Reduced Variance Reinforcement Learning
ICML 2019
Programmatically Interpretable Reinforcement Learning
ICML 2018