研究与基准测试/2026-10-20/22 分钟介于剧透与猜测之间:避免编码基准里的过度规格化IBM 与伦斯勒理工把仓库级编码基准的提示拆成标识符选择和投影。DefUse 只披露测试与实现互相引用的名字,Declaration 只给出声明行。在 SWE-bench Pro 上,GPT 5.6 Luna 用 DefUse 解决 69.5%,更宽的选择只到 70.2–72.5%;语义描述则会把解答内容带进提示。