作者位次 #3/6ACL 2026Poster· Natural Language Processing
Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification
Bowei Zhang · Hanbing Liu · Qixin Tian · Siyu Chen · Ziyuan Wang · Qi Qi
摘要
Smart Contracts are the foundation of Decentralized Finance (DeFi), executing financial logic without trusted intermediaries. Recent advances in large language models (LLMs) have substantially lowered the barrier to smart contract development by enabling code generation from natural language. How...