PulseAugur
实时 10:50:32
English(EN) Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer

新框架SAD改进编程示例系统

研究人员引入了求解器感知分解(SAD),一种新颖的编程示例(PBE)系统训练框架。SAD解决了当前PBE方法的一个局限性,即它们训练分解器来模仿地面真实子目标,而这些子目标可能对底层求解器来说是不可行的。通过整合来自冻结合成器的直接反馈,SAD根据合成器在目标程序上的损失来优化分解器,鼓励分解器生成求解器能够有效处理的子目标。实验表明,SAD在合成和端到端任务准确性方面带来了持续的改进,甚至在某些场景下优于地面真实分解。 AI

影响 这项研究通过改进AI系统分解问题的方式,有望带来更有效的AI系统,使其能够通过示例学习复杂任务。

排序理由 该集群包含一篇详细介绍编程示例系统新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新框架SAD改进编程示例系统

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Janis Zenkner, Tobias Sesterhenn, Tim Grams, Christian Bartelt ·

    面向编程 by Example 的求解器感知分解:当划分需要知道如何征服

    arXiv:2608.03461v1 Announce Type: new Abstract: Decomposition-based Programming-by-example (PBE) scales performance by splitting tasks into subtasks that a learned synthesizer solves: a decomposer predicts intermediate subgoals, and a synthesizer generates programs conditioned on…