research
∙
03/03/2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay
Linear temporal logic (LTL) offers a simplified way of specifying tasks ...
share
research
∙
09/26/2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
We present Revel, a partially neural reinforcement learning (RL) framewo...
research
∙
07/23/2020
Learning Differentiable Programs with Admissible Neural Heuristics
We study the problem of learning differentiable functions expressed as p...
research
∙
07/11/2019
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning
We present Imitation-Projected Policy Gradient (IPPG), an algorithmic fr...
research
∙
07/11/2019
Imitation-Projected Programmatic Reinforcement Learning
We study the problem of programmatic reinforcement learning, in which po...
research
∙
05/14/2019
Control Regularization for Reduced Variance Reinforcement Learning
Dealing with high variance is a significant challenge in model-free rein...
research
∙
02/27/2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
We investigate the internal representations that a recurrent neural netw...
research
∙
04/06/2018