paper.dinq.meAI 与前沿科学顶会 · 学术新星雷达
登录 DINQ
返回新星榜
BZ

Bowei Zhang

AAAI 2026ACL 2026ICML 2026KDD 2026智能体与工具推理安全检索与知识多模态
新星分新星
80
一作贡献30
核心/参与33
方向广度19
合作网络6
1 一作 · 4 篇 · AAAI 2026 / ACL 2026 / ICML 2026 / KDD 2026

获取完整研究档案

首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。

联系方式

实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。

2026 顶会论文

4
一作ACL 2026Poster· Natural Language Processing

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

摘要

Smart Contracts are the foundation of Decentralized Finance (DeFi), executing financial logic without trusted intermediaries. Recent advances in large language models (LLMs) have substantially lowered the barrier to smart contract development by enabling code generation from natural language. How...

智能体与工具推理安全OpenReview 项目页

常见合作者