@INPROCEEDINGS{11052787,
  author={Rego, Marilyn and Fan, Wen and Hu, Xin and Dod, Sanya and Ni, Zhaorui and Xie, Danning and DiVincenzo, Jenna and Tan, Lin},
  booktitle={2025 IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering (Forge)}, 
  title={Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast}, 
  year={2025},
  volume={},
  number={},
  pages={246-251},
  keywords={Foundation models;Large language models;Redundancy;Software quality;Documentation;Logic;Prompt engineering;Test pattern generators;Software development management;Formal verification;formal verification;large language models;prompt engineering;separation logic},
  doi={10.1109/Forge66646.2025.00035}}