Abhinav Verma

20182019202020219 48 79 14

Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Yisong YueCalifornia Institute of TechnologyVerified 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. LeCalifornia Institute of TechnologyVerified email at caltech.edu
Gábor OroszMechanical Engineering, University of Michigan, Ann ArborVerified email at umich.edu
Richard ChengCalifornia Institute of TechnologyVerified email at caltech.edu
Richard BaraniukVictor E. Cameron Professor, Electrical & Computer Engineering, Rice UniversityVerified email at rice.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 PatelAssistant Professor, Baylor College of Medicine, Rice UniversityVerified email at rice.edu
Ameesh ShahUniversity of California Berkeley, Rice UniversityVerified email at berkeley.edu

Abhinav Verma

Graduate Student, Computer Science, University of Texas at Austin

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	104	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	23	2019
Imitation-projected programmatic reinforcement learning A Verma, H Le, Y Yue, S Chaudhuri Advances in Neural Information Processing Systems (NeurIPS), 15752-15763, 2019	11	2019
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	10*	2019
Verifiable and interpretable reinforcement learning through program synthesis A Verma Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 9902-9903, 2019	2	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	1	2020
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		2020

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

Articles 1–7

Citations per year