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

Browse the full ACL paper archive.