Papers by Qixin Tian
Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification (2026.acl-long)
Copied to clipboard
| Challenge: | Smart Contracts are the foundation of Decentralized Finance (DeFi), executing financial logic without trusted intermediaries. |
| Approach: | They propose a framework that integrates LLM-based generation with Lean-based auto-formalization and verification. |
| Outcome: | LeVer is the first trustworthy smart contract synthesis framework that integrates LLM-based generation with Lean-based auto-formalization and verification. |