arXiv Artificial Intelligence· Giovanni Pio Delvecchio, Stefano Fantazzini, Giacomo Frisoni, Gianluca Moro, Lorenzo Bacchiani, Mario Bravetti, Thomas Troels Hildebrandt·· 18 小时前AI 评分35
SolBehave：评估 LLM 生成智能合约的行为正确性
SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts
AI 导读
研究团队推出 SolBehave 基准，用差分模糊测试、历史交易回放和 DCR 图引导的合成交易回放三种方法，在 250 个真实以太坊合约上评估 LLM 生成 Solidity 合约的行为正确性。
来源：arXiv Artificial Intelligence · arxiv.org