Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast
Year: 2025
Type: conference-paper
Authors: Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan
Institutions: Purdue University West Lafayette, University of Michigan
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4411950689