@misc{indiciaea5fffa09175a, title = {Certificate-Guided Evaluation of Reinforcement Learning Generalization}, author = {Vignesh Subramanian and Đorđe Žikelić and Suguman Bansal}, year = {2026}, url = {https://arxiv.org/abs/2606.00840}, note = {Source identifier: 2606.00840} }