概念code synthesis
代码合成
让大语言模型根据自然语言描述自动编写可执行程序的技术，可将约束定义转化为约束描述以降低人工成本
时间轴 (近 90 天)
10月30日
研究团队利用前沿模型进行代码合成，自动生成新的势函数，覆盖数百个目标语法技能，且无需额外训练或监督数据。
待验证50%
让大语言模型根据自然语言描述自动编写可执行程序的技术，可将约束定义转化为约束描述以降低人工成本
研究团队利用前沿模型进行代码合成，自动生成新的势函数，覆盖数百个目标语法技能，且无需额外训练或监督数据。