TY  - RPRT
TI  - VeRA: Renewing Reasoning Benchmarks with Executable Specifications
AU  - Zerui Cheng
AU  - Jiashuo Liu
AU  - Chunjie Wu
AU  - Jiayang Sun
AU  - Jianzhu Yao
AU  - Pramod Viswanath
AU  - Ge Zhang
AU  - Wenhao Huang
PY  - 2026
UR  - https://arxiv.org/abs/2602.13217
ID  - 2602.13217
ER  -