🧑🔬 Ziyuan Wang — papers of 2026 — 1 paper, the most cited first1 paper · all years of Ziyuan WangTowards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Bowei Zhang, Hanbing Liu, Qixin Tian, et al.2026This page in Markdown → https://md.research.elamur.ai/free/en/authors/ziyuan-wang/year/2026/