output
20192025
most citedMFCC-based Recurrent Neural Network for Automatic Clinical Depression Recognition and Assessment from Speech

264 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2024★ 55 cited

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Ye Liu, Yue Xue, Daoyuan Wu +4

With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs,such as GPT-4, to transfer existing human-written proper…