Concepedia

Daoyuan Wu

DW

Statistics

Publications

3

Citations

95

H-Index

3

Active since

2023

Affiliations

Hong Kong University of Science and Technology(Current)

Daoyuan Wu is an author at Hong Kong University of Science and Technology specializing in verification, smart contracts, and in-context learning.

Publications per year

2023–2025

3

Publications

3

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Ye Liu, Yue Xue, Daoyuan Wu et al. · 2025 · 43 citations · Full text

, , +15

Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications

Wei Ma, Daoyuan Wu, Yuqiang Sun et al. · 2025 · 31 citations

, , +12

Assessing meteorological and agricultural drought characteristics and drought propagation in Guangdong, China

Ruqing Zhang, Wei Shangguan, Jiajin Liu et al. · Journal of Hydrology Regional Studies · 2023 · 21 citations · Full text

, , +17

1–3 of 3