LLM 程序搜索

LLM程序搜索把代码生成视为搜索问题：模型提出候选程序，执行器运行测试获得反馈，再由选择策略或评分模型排序、变异、重组，循环逼近正确解。代表性工作包括FunSearch、AlphaCode式采样过滤与树搜索、以及结合单元测试的迭代修复。它把LLM的生成能力与程序执行的可靠验证结合，用于算法发现、竞赛编程与自动化软件开发。