Abhinav Verma

180

135

201820192020202120229 47 92 165 76

Public access

5 articles

0 articles

available

not available

Based on funding mandates

Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Yisong YueCalifornia Institute of Technology; Argo AIVerified email at caltech.edu
Pushmeet KohliDeepMindVerified email at google.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Vijayaraghavan MuraliFacebookVerified email at fb.com
Hoang M. LeArgo AI; Microsoft Research; CaltechVerified email at argo.ai
Gábor OroszMechanical Engineering, University of Michigan, Ann ArborVerified email at umich.edu
Richard ChengCalifornia Institute of TechnologyVerified email at caltech.edu
Greg AndersonUniversity of Texas at AustinVerified email at cs.utexas.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Jennifer J. SunPhD student at CaltechVerified email at caltech.edu
Eric ZhanPhD Candidate at CaltechVerified email at caltech.edu
Ankit B. PatelAssistant Professor, Baylor College of Medicine, Rice UniversityVerified email at rice.edu
Richard BaraniukC. Sidney Burrus Professor, Electrical & Computer Engineering, Rice UniversityVerified email at rice.edu
Ameesh ShahUniversity of California Berkeley, Rice UniversityVerified email at berkeley.edu

Abhinav Verma

Postdoc, IST Austria

Verified email at utexas.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programmatically interpretable reinforcement learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri Thirty-fifth International Conference on Machine Learning (ICML), 2018	230	2018
Control regularization for reduced variance reinforcement learning R Cheng, A Verma, G Orosz, S Chaudhuri, Y Yue, JW Burdick Thirty-sixth International Conference on Machine Learning (ICML), 2019	52	2019
Imitation-projected programmatic reinforcement learning A Verma, H Le, Y Yue, S Chaudhuri Advances in Neural Information Processing Systems (NeurIPS), 15752-15763, 2019	40	2019
Neurosymbolic Reinforcement Learning with Formally Verified Exploration G Anderson, A Verma, I Dillig, S Chaudhuri Advances in Neural Information Processing Systems (NeurIPS) 33, 2020	25	2020
Representing formal languages: A comparison between finite automata and recurrent neural networks JJ Michalenko, A Shah, A Verma, RG Baraniuk, S Chaudhuri, AB Patel International Conference on Learning Representations (ICLR), 2019	23*	2019
Learning Differentiable Programs with Admissible Neural Heuristics A Shah, E Zhan, J Sun, A Verma, Y Yue, S Chaudhuri Advances in Neural Information Processing Systems (NeurIPS) 33, 2020	16	2020
Verifiable and interpretable reinforcement learning through program synthesis A Verma Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 9902-9903, 2019	4	2019

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year