SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning
DGX agentarXiv:2604.24729v1 Announce Type: new Abstract: Specification-guided reinforcement learning (RL) provides a principled framework for encoding complex, temporally extended tasks using formal specificat