Announcement_6
Our paper Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast will be presented at FORGE’25! Congrats to first authors Marilyn Rego and Wen Fan. 
Our paper Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast will be presented at FORGE’25! Congrats to first authors Marilyn Rego and Wen Fan.