Daoyuan Wu

机构：Hong Kong University of Science and Technology

发表论文 11 篇 · 总被引 139 次 · h-index 5

代表论文

• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2025 · 被引 52)
• Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications (2025 · 被引 41)
• Assessing meteorological and agricultural drought characteristics and drought propagation in Guangdong, China (2023 · Journal of Hydrology Regional Studies · 被引 21)
• Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems (2025 · IEEE Transactions on Software Engineering · 被引 16)
• Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications (2024 · arXiv (Cornell University) · 被引 6)
• MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols (2025 · arXiv (Cornell University) · 被引 1)