Get started
Author

Ziyuan Wang

Observed institution: Renmin University of China
OpenAlex ID: A5139825956
Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification
2026 · Bowei Zhang, Hanbing Liu, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type