察元AI教程库 · 文章 · 微调
大型语言模型(LLMs)在通用编程代码生成方面表现出强大的能力,但在特定软件领域中的有效性仍被忽视。在高风险的领域如Solidity智能合约中,生成的代码必须满足严格的语法、安全性和逻辑要求
作者:Shi Chen, Rongcun Wang, Yuan Tian · 语言:en
大型语言模型(LLMs)在通用编程代码生成方面表现出强大的能力,但在特定软件领域中的有效性仍被忽视。在高风险的领域如Solidity智能合约中,生成的代码必须满足严格的语法、安全性和逻辑要求