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

arXiv:2609.38409v1 Announce Type: new Abstract: Recent progress in large language model reasoning has been driven by benchmarks and reinforcement learning environments with automatically verifiable rewards, particularly in mathematics, code, and formal logic.