research
∙
08/18/2023
Learning Reward Machines through Preference Queries over Sequences
Reward machines have shown great promise at capturing non-Markovian rewa...
share
research
∙
05/25/2023
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback
Large Language Models (LLMs) pre-trained on code have recently emerged a...
research
∙
01/26/2023
Policy Optimization with Robustness Certificates
We present a policy optimization framework in which the learned policy c...
research
∙
09/28/2022
Guiding Safe Exploration with Weakest Preconditions
In reinforcement learning for safety-critical settings, it is often desi...
research
∙
01/16/2022
Natural Language Deduction through Search over Statement Compositions
In settings from fact-checking to question answering, we frequently want...
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
