VeRA: Scalable Verified Reasoning Data Augmentation
VeRA is a framework that transforms static benchmark problems into executable specifications for generating unlimited verified variants. It features VeRA-E for equivalent rewrites to detect memorization and VeRA-H for hardened tasks at intelligence frontiers. The tool is open-sourced with code and datasets after evaluating 16 frontier models.






