VeRA: Renewing Reasoning Benchmarks with Executable Specifications
Executable families support repeatable benchmark renewal, with validation improving task quality and selection shaping the delivered challenge, with validation improving task quality and selection shaping the delivered challenge.