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 003 (ACL (1), 2026)