Miaolei Shi

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Smart Environments

Evaluation Framework

Retrieval Process

Document Retrieval

Top Venues

Publications

Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. CoRR (2024)
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Wei Ma, Lyuye Zhang, Miaolei Shi, Yang Liu
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning. CoRR (2024)