@article{certificateguidedevaluationofreinforceme,
  title = {Certificate-Guided Evaluation of Reinforcement Learning Generalization},
  author = {Vignesh Subramanian and Đorđe Žikelić and Suguman Bansal},
  year = {2026},
  eprint = {2606.00840},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.00840},
}