Aletheia: What Makes RLVR For Code Verifiers Tick?
| dc.contributor.author | Venkatkrishna, Vatsal | |
| dc.contributor.author | Paul, Indraneil | |
| dc.contributor.author | Gurevych, Iryna | |
| dc.date.accessioned | 2026-01-16T17:35:13Z | |
| dc.date.created | 2026-01-16 | |
| dc.date.issued | 2026-01-16 | |
| dc.description | Multi-domain thinking verifiers trained via Reinforcement Learning from Verifiable Rewards (RLVR) are a prominent fixture of the Large Language Model (LLM) post-training pipeline, owing to their ability to robustly rate and rerank model outputs. However, the adoption of such verifiers towards code generation has been comparatively sparse, with execution feedback constituting the dominant signal. Nonetheless, code verifiers remain valuable toward judging model outputs in scenarios where execution feedback is hard to obtain and are a potentially powerful addition to the code generation post-training toolbox. To this end, we create and open-source Aletheia, a controlled testbed that enables execution-grounded evaluation of code verifiers' robustness across disparate policy models and covariate shifts. We examine components of the RLVR-based verifier training recipe widely credited for its success: (1) intermediate thinking traces, (2) learning from negative samples, and (3) on-policy training. While experiments show the optimality of RLVR, we uncover important opportunities to simplify the recipe. Particularly, despite code verification being amenable to training- and inference-time scaling, on-policy learning stands out as the key component at smaller verifier sizes, and thinking-based training emerges as the most important component at larger scales. | |
| dc.identifier.uri | https://tudatalib.ulb.tu-darmstadt.de/handle/tudatalib/4992 | |
| dc.language.iso | en | |
| dc.rights | CC-BY-NC-SA 4.0 Attribution-NonCommercial-ShareAlike 4.0 International | |
| dc.rights.license | other | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0 | |
| dc.subject | code understanding, program verification, evaluation of code models | |
| dc.subject.classification | 4.43-04 | |
| dc.subject.ddc | 004 | |
| dc.title | Aletheia: What Makes RLVR For Code Verifiers Tick? | |
| dc.type | Dataset | |
| dc.type | Software | |
| dcterms.accessRights | openAccess | |
| person.identifier.orcid | 0009-0002-6041-3096 | |
| person.identifier.orcid | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| person.identifier.orcid | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| tuda.agreements | true | |
| tuda.unit | TUDa |