AlgoPilot：无需人类编写程序的完全自主程序综合
人工智能
2025-01-14 v1
摘要
程序综合传统上依赖于人类提供的规范、示例或先验知识来生成功能算法。现有方法要么模仿人类编写的算法，要么解决特定任务而不生成可重用的程序逻辑，限制了其创建新算法的能力。我们介绍 AlgoPilot，这是一种完全自动化的程序综合方法，无需人类编写的程序或轨迹。AlgoPilot 利用强化学习 (RL) 指导，由轨迹语言模型 (TLM) 提供支持，从头综合算法。TLM 基于由随机 Python 函数生成的轨迹进行训练，作为 RL 过程中的软约束，将生成的序列与可能表示有效算法的模式对齐。以排序为测试案例，AlgoPilot 显示出其能够生成可解释为经典算法（如冒泡排序）的轨迹，而无需先验算法知识。这项工作建立了一种新的算法发现范式，为未来在自主程序综合方面的进步奠定了基础。
引用
@article{arxiv.2501.06423,
title = {AlgoPilot: Fully Autonomous Program Synthesis Without Human-Written Programs},
author = {Xiaoxin Yin},
journal= {arXiv preprint arXiv:2501.06423},
year = {2025}
}