将代码转化为语言：一种使用AI进行智能合约安全的新方法 论点（Thesis） 大型语言模型（LLMs）主要通过语言进行训练，而非形式化的编程语义。然而，目前大多数AI审计方法仍要求它们直接对原始Solidity代码进行推理。 我的...
区块链技术网