概念Program Synthesis / 代码合成
程序合成
自动生成满足给定规范或约束的程序代码的技术方向，结合符号执行、逻辑推理等方法提升代码功能正确性
时间轴 (近 90 天)
10月16日
SemDraft 的「搜索加认证」范式与程序合成领域的「按示例编程」（Programming by Example）高度同构。
待验证50%
10月7日
早期归纳程序合成系统因在有限示例集上通过验证便宣称找到正确程序，后被发现在边界输入上系统性失败
待验证50%
9月6日
2024年ARC Prize获胜方案采用程序合成策略，让语言模型生成候选Python程序并在训练样例上执行验证
待验证50%