Abhinav Verma
12 papers · 2018–2026 · 5 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 ↓+8 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (22) π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Keyword Champion
(2)
π
Triple Crown
π
Grand Slam
π
Renaissance Researcher
(6)
π
Conference Pioneer
π
Century Club Β· Bronze
π
Trend Setter
ποΈ
Keyword Collector
(63)
Venues
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(9)
Reinforcement Learning
(8)
Machine Learning
(7)
Methods
(5)
Applications
(3)
Learning Types
(3)
Optimization & Theory
(3)
Deep Learning
(2)
Knowledge & Reasoning
(2)
Architectures
(2)
Core Methods
(2)
Reasoning
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
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)
policy optimization
(1)
policy search
(1)
stochastic control
(1)
value function
(1)
recurrent neural network
(1)
sequential decision making
(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
NeurIPS 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay
ICML 2023
Learning Differentiable Programs with Admissible Neural Heuristics
NeurIPS 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NeurIPS 2020
Control Regularization for Reduced Variance Reinforcement Learning
ICML 2019
Imitation-Projected Programmatic Reinforcement Learning
NeurIPS 2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
ICLR 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis
AAAI 2019
Programmatically Interpretable Reinforcement Learning
ICML 2018