@misc{indiciae1769ecc737e0,
  title = {VeRA: Renewing Reasoning Benchmarks with Executable Specifications},
  author = {Zerui Cheng and Jiashuo Liu and Chunjie Wu and Jiayang Sun and Jianzhu Yao and Pramod Viswanath and Ge Zhang and Wenhao Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.13217},
  note = {Source identifier: 2602.13217}
}