Abhinav Verma

Orcid: 0000-0002-9820-8285

Affiliations:
  • Pennsylvania State University, USA
  • University of Texas at Austin, USA (former)


According to our database1, Abhinav Verma authored at least 10 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Deep Policy Optimization with Temporal Logic Constraints.
CoRR, 2024

2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay.
Proceedings of the International Conference on Machine Learning, 2023

2020
Learning Differentiable Programs with Admissible Neural Heuristics.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning.
CoRR, 2019

Imitation-Projected Programmatic Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Control Regularization for Reduced Variance Reinforcement Learning.
Proceedings of the 36th International Conference on Machine Learning, 2019

Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
Proceedings of the 7th International Conference on Learning Representations, 2019

Verifiable and Interpretable Reinforcement Learning through Program Synthesis.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Programmatically Interpretable Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018


  Loading...