函数约束的程序综合

该研究介绍了一种技术，它允许大型语言模型在解决编程任务时利用用户提供的代码，并且提出了一种逐步生成模块化子函数的方法，以帮助模型在初始生成的代码不足时进行未来的代码生成尝试。

本研究探讨了在低资源和领域特定编程语言中使用大型语言模型（LLM）进行编码的可行性。研究发现LLM在编写、理解、改进和文档化代码方面是有用的工具，但也存在限制。该研究旨在利用LLM促进低资源编程语言的软件开发并降低其采用门槛。

低资源编程语言 函数 大型语言模型 编码 软件开发 门槛
原文中文，约400字，阅读约需1分钟。发表于：。
阅读原文
分享给好友