Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2506.14627
Cited By
ACM Survey Draft on Formalising Software Requirements with Large Language Models
17 June 2025
Arshad Beg
Diarmuid O'Donoghue
Rosemary Monahan
AI4TS
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"ACM Survey Draft on Formalising Software Requirements with Large Language Models"
2 / 2 papers shown
Title
Formalising Software Requirements using Large Language Models
Arshad Beg
Diarmuid O'Donoghue
Rosemary Monahan
90
0
0
12 Jun 2025
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
1