Certificate-Guided Evaluation of Reinforcement Learning Generalization
DGX agentarXiv:2606.00840v1 Announce Type: new Abstract: This work presents a logic-driven framework to evaluate the performance of reinforcement learning (RL) algorithms in their ability to generalize to unse