TY - RPRT TI - Non-vacuous Generalization Bounds for Reinforcement Learning with Verifiable Rewards AU - Yuxuan Zhu AU - Rohan Alur AU - Daniel Kang PY - 2026 UR - https://arxiv.org/abs/2607.14506 ID - 2607.14506 ER -