TY  - RPRT
TI  - Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
AU  - Wen Fan
AU  - Marilyn Rego
AU  - Xin Hu
AU  - Sanya Dod
AU  - Zhaorui Ni
AU  - Danning Xie
AU  - Jenna DiVincenzo
AU  - Lin Tan
PY  - 2025
UR  - https://arxiv.org/abs/2411.02318
ID  - 2411.02318
ER  -