PropertyGPT: LLM-driven formal verification of smart contracts through retrieval-augmented property generation

Note

80% recall against human-written ground-truth properties; finds 26 known and 12 previously unknown vulnerabilities.