SolBehave 基准评估 LLM 生成合约行为正确性
热点事件持续更新
SolBehave 基准评估 LLM 生成合约行为正确性
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
研究团队发布 SolBehave 基准，在 250 个真实以太坊合约上评估 LLM 生成的 Solidity 合约是否行为正确，方法包括差分模糊测试、历史交易回放和 DCR 图引导的合成交易回放。 团队对七款开源权重模型进行一轮自动修复后评测：编译成功率在 26.4% 至 92.7% 之间，但差分模糊测试下，所有模型和样本合计只有 31.4% 的已编译生成函数体与原始合约等价。历史回放中，七款模型里有六款生成的已编译合约有 13% 至 31% 与原始合约出现分歧；DCR 引导回放下这一比例为 13% 至 44%。只有 Gemma-4-31B 在两种回放中均低于 3%。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 12:00
SolBehave：评估 LLM 生成智能合约的行为正确性报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- arXiv cs.AISolBehave：评估 LLM 生成智能合约的行为正确性
研究团队推出 SolBehave 基准，用差分模糊测试、历史交易回放和 DCR 图引导的合成交易回放三种方法，在 250 个真实以太坊合约上评估 LLM 生成 Solidity 合约的行为正确性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。