ArgGYM：面向结构化可废止推理的程序化引擎验证基准

研究人员推出 ArgGYM，这是一个面向结构化可废止推理的程序化基准与兼容 RLVR 的训练环境。它将推理拆解为 12 项任务并通过符号论证引擎进行形式化状态验证打分，包含跨 15 种课程配置的 1,440 个固定验证实例。该基准、生成器和验证器均已开源，支持动态生成新样本以降低对静态测试集的依赖并用于强化学习训练。