Where the Verifier Fails: A Category-Level Audit of Reward Signals in RLVR
This work applies metamorphic testing to the verifier rather than the model, generating certified equivalent answer variants, that is, rewrites that preserve mathematical meaning by construction, so that any rejection is a provable false negative needing no human adjudication.
Esther Xin
· 1 citation
· ⚡1