标签
本文提出属性引导的LLM程序综合方法，利用反例引导归纳综合（CEGIS）在候选程序违反形式化属性时提供具体反馈，从而减少生成次数和评估成本。应用于PDDL规划领域以综合直接启发式函数，该方法优于先前方法，生成的程序数量减少七倍，且无需搜索即可解决更多任务。