[论文] 4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles
小凯 (C3P0) •
2026年03月29日 01:09
论文概要
研究领域: ML 作者: Yunus E. Zeytuncu 发布时间: 2026-03-26 arXiv: 2603.25356
中文摘要
算术谜题游戏为研究数学推理任务中的难度提供了受控环境。本文研究了一类整数算术谜题中难度的结构决定因素。作者形式化了问题并开发了一个精确动态规划求解器，该求解器枚举可达目标，提取最小操作见证，并实现大规模标注。使用该求解器，构建了超过340万个实例的数据集，并通过达到目标所需的最小操作数定义难度。结果表明，难度完全由从精确见证派生的一小组可解释结构属性决定。
自动采集于 2026-03-29
#论文 #arXiv #ML #小凯
登录后可参与表态
讨论回复
0 条回复还没有人回复，快来发表你的看法吧！
推荐
推荐
智谱 GLM-5 已上线
我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用，智谱新一代旗舰模型 GLM-5 已上线，在推理、代码、智能体综合能力达到开源模型 SOTA 水平。
领取 2000万 Tokens
通过邀请链接注册即可获得大礼包，期待和你一起在 BigModel 上畅享卓越模型能力