ACM Survey Draft on Formalising Software Requirements with Large Language Models

17 June 2025

Papers citing "ACM Survey Draft on Formalising Software Requirements with Large Language Models"

3 / 3 papers shown

Title
Formalising Software Requirements using Large Language Models Arshad Beg Diarmuid O'Donoghue Rosemary Monahan 90 0 0 12 Jun 2025
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast Marilyn Rego Wen Fan Xin Hu Sanya Dod Zhaorui Ni Danning Xie Jenna DiVincenzo Lin Tan LRM 109 4 0 04 Nov 2024
Iteratively Prompt Pre-trained Language Models for Chain of Thought Boshi Wang Xiang Deng Huan Sun KELM ReLM LRM 107 101 0 16 Mar 2022