@misc{indiciaecbc25204abe3,
  title = {PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation},
  author = {Ye Liu and Yue Xue and Daoyuan Wu and Yuqiang Sun and Yi Li and Miaolei Shi and Yang Liu},
  year = {2024},
  doi = {10.14722/ndss.2025.241357},
  url = {https://arxiv.org/abs/2405.02580},
  note = {Source identifier: 2405.02580}
}