Abhinav Verma - RankMe

23 papers A* 9Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Preference Conditioned Multi-Objective Reinforcement Learning: Decomposed, Diversity-Driven Policy Optimization. CoRR Tanmay Ambadkar, Sourav Panda, Shreyash Kale, Jonathan Dodge, Abhinav Verma
2026	A*	`conf`	Robust Adaptive Multi-Step Predictive Shielding (Student Abstract). AAAI Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma
2026	J	`jnl`	Scaling Strategy, Not Compute: A Stand-Alone, Open-Source StarCraft II Benchmark for Accessible Reinforcement Learning Research. CoRR Sourav Panda, Shreyash Kale, Tanmay Ambadkar, Abhinav Verma, Jonathan Dodge
2025	J	`jnl`	Automating the Refinement of Reinforcement Learning Specifications. CoRR Tanmay Ambadkar, Dorde Zikelic, Abhinav Verma
2025	J	`jnl`	LTL-Constrained Policy Optimization with Cycle Experience Replay. Trans. Mach. Learn. Res. Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
2024	J	`jnl`	Deep Policy Optimization with Temporal Logic Constraints. CoRR Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
2023	A*	`conf`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	J	`jnl`	Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023	A*	`conf`	Eventual Discounting Temporal Logic Counterfactual Experience Replay. ICML Cameron Voloshin, Abhinav Verma, Yisong Yue
2023	J	`jnl`	Eventual Discounting Temporal Logic Counterfactual Experience Replay. CoRR Cameron Voloshin, Abhinav Verma, Yisong Yue
2020	A*	`conf`	Learning Differentiable Programs with Admissible Neural Heuristics. NeurIPS Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2020	J	`jnl`	Learning Differentiable Programs with Admissible Neural Heuristics. CoRR Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2020	A*	`conf`	Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020	J	`jnl`	Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2019	A*	`conf`	Control Regularization for Reduced Variance Reinforcement Learning. ICML Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick
2019	J	`jnl`	Control Regularization for Reduced Variance Reinforcement Learning. CoRR Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel W. Burdick
2019	J	`jnl`	Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. CoRR Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
2019	A*	`conf`	Imitation-Projected Programmatic Reinforcement Learning. NeurIPS Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
2019	—	`conf`	Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
2019	J	`jnl`	Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. CoRR Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
2019	A*	`conf`	Verifiable and Interpretable Reinforcement Learning through Program Synthesis. AAAI Abhinav Verma
2018	A*	`conf`	Programmatically Interpretable Reinforcement Learning. ICML Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
2018	J	`jnl`	Programmatically Interpretable Reinforcement Learning. CoRR Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri