Miaolei Shi

机构：Entrust

发表论文 2 篇 · 总被引 55 次 · h-index 1

代表论文

• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2025 · 被引 52)
• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2024 · arXiv (Cornell University) · 被引 1)