{"id":"2411.02318","title":"Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast","url":"https://codeofpaper.com/paper/2411.02318","arxiv_url":"https://arxiv.org/abs/2411.02318","published":"2024-11-04","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":3}