标签:LLM生成的Oracle

ALGO框架:利用LLM生成的Oracle指导与验证算法程序合成

本文深入探讨了在NeurIPS 2023上发表的ALGO框架,该框架利用大型语言模型(LLM)生成的Oracle指导与验证算法程序的合成,展示了其在AI技术中的创新性和应用潜...