50 citations · 80 across the 22 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2024★ 3 cited
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
Shayan Meshkat Alsadat, Jean-Raphael Gaglione, Daniel Neider +2
We present LARL-RM (Large language model-generated Automaton for Reinforcement Learning with Reward Machine) algorithm in order to encode high-level knowledge into reinforcement le…
cs.LG2021★ 3 cited
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy +2
We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing appr…