Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (CoRR, 2024)

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (Forge@ICSE, 2025)