论文
SolBehave: Evaluating Behavioural Correctness of LLM-Generated Smart Contracts
提出面向Solidity智能合约行为正确性的新评估框架,超越编译检查直击部署后不可修补风险
档案回溯至 2026-10 · 收录于 2026-10-14热度 1.0
smart contractsecurity
暂未评估,等待下一轮评分。
事件时间线
- 2026-10-13 🏁 里程碑发布首个专注智能合约行为正确性的LLM评估框架SolBehave
关联信号
想把「SolBehave: Evaluating Behavioural Correctness of LLM-Generated Smart Contracts」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。