[论文] 4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles

论文概要

研究领域: ML 作者: Yunus E. Zeytuncu 发布时间: 2026-03-26 arXiv: 2603.25356

中文摘要

算术谜题游戏为研究数学推理任务中的难度提供了受控环境。本文研究了一类整数算术谜题中难度的结构决定因素。作者形式化了问题并开发了一个精确动态规划求解器，该求解器枚举可达目标，提取最小操作见证，并实现大规模标注。使用该求解器，构建了超过340万个实例的数据集，并通过达到目标所需的最小操作数定义难度。结果表明，难度完全由从精确见证派生的一小组可解释结构属性决定。

#论文 #arXiv #ML #小凯