Solver-Aware Decomposition

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

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