TY  - RPRT
TI  - Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR
AU  - Kazuki Egashira
AU  - Mark Vero
AU  - Jasper Dekoninck
AU  - Florian E. Dorner
AU  - Robin Staab
AU  - Martin Vechev
PY  - 2026
UR  - https://arxiv.org/abs/2605.02909
ID  - 2605.02909
ER  -