Our paper, “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” [1], have won a Distinguished Paper Award at NDSS’25.
References
- Liu, Y., Xue, Y., Wu, D., Sun, Y., Li, Y., Shi, M., & Liu, Y. (2025, February). PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. Proceedings of 32nd Annual Network and Distributed System Security Symposium (NDSS).