Abhinav Verma

1. Programmatically Interpretable Reinforcement Learning
   2018/04/06 by Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh +2 · 1 voice · 5 citations
   #cs.LG #cs.AI #cs.PL #stat.ML
2. Eventual Discounting Temporal Logic Counterfactual Experience Replay
   2023/03/03 by Cameron Voloshin, Abhinav Verma, Voloshin, Cameron +3 · 5 citations
   Computer Science · #Explainable Artificial Intelligence (XAI)
3. Neurosymbolic Reinforcement Learning with Formally Verified Exploration
   2020/09/26 by Greg Anderson, Abhinav Verma, Anderson, Greg +5 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robot Manipulation and Learning
4. Representing Formal Languages: A Comparison Between Finite Automata and\n Recurrent Neural Networks
   2019/02/26 by Joshua Michalenko, Ameesh Shah, Michalenko, Joshua J. +9 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #Neural Networks and Applications