conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Qixin Tian
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Ziyuan Wang (1)
Siyu Chen (1)
Hanbing Liu (1)
Qi Qi (1)
Bowei Zhang (1)
Keywords
formal verification
(1)
code synthesis
(1)
smart contract generation
(1)
multi-agent framework
(1)
large language model
(1)
Papers
Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification
ACL 2026