arXiv：cs.AI（全量分类）· \.Ibrahim Ethem Deveci, Funda Tan \c{C}al{\i}k, Bar{\i}\c{s} Deniz Sa\u{g}lam, Duygu Ataman·2026-10-01 12:00· 3 小时前AI 评分40

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

ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning

AI 导读

ArgGYM 是一个面向结构化可废止推理的程序化基准与 RLVR 兼容训练环境，将推理拆解为十二项任务，并用符号论证引擎计算形式状态来评分。