Ndss_award
Our paper “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” has won the NDSS 2025 Distinguished Paper award
Our paper “PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation” has won the NDSS 2025 Distinguished Paper award