Publications

Publications

1. Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast. [pdf] Marilyn Rego*, Wen Fan*, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan. The 2nd ACM international conference on AI Foundation Models and Software Engineering (FORGE 2025).