arXiv · cs.AI · Janis Zenkner, Tobias Sesterhenn, Tim Grams, Christian Bartelt · 10 小时前模型评分38
Solver-Aware Decompositions：编程示例合成中分解需知如何求解
Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing How to Conquer
导读
针对基于示例的编程（Programming-by-Example）中分解质量被当作任务固有属性、忽略合成器自身归纳偏置的问题，研究者提出 Solver-Aware Decompositions（SAD），在真实子目标监督之上用自批判策略梯度对分解器在线训练，以冻结合成器在目标程序上的负交叉熵作为奖励。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “Motivated by this observation, we propose Solver-Aware Decompositions (SAD), which keeps supervised training on GT subgoals as a structural scaffold and additionally trains the decomposer online with self-critical policy gradients against a frozen synthesizer.”
来源：arXiv · cs.AI · arxiv.org