TY  - RPRT
TI  - An Empirical Study of LLM-Generated Specifications for VeriFast
AU  - Wen Fan
AU  - Minh Tran
AU  - Sanya Dod
AU  - Xin Hu
AU  - Marilyn Rego
AU  - Danning Xie
AU  - Jenna DiVincenzo
AU  - Lin Tan
PY  - 2026
UR  - https://arxiv.org/abs/2606.26490
ID  - 2606.26490
ER  -