AI RESEARCH
SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning
arXiv CS.LG
•
ArXi:2604.24729v1 Announce Type: new Specification-guided reinforcement learning (RL) provides a principled framework for encoding complex, temporally extended tasks using formal specifications such as linear temporal logic (LTL). While recent methods have shown promising results, their ability to generalize across unseen specifications and diverse environments remains insufficiently understood. In this work, we