arXiv cs.CR·17d agoVStress: Correlation-Aware Auditing and Adaptive Budget Allocation for Repeated Verifiers#verifiers#auditing#rlvrAI research