@misc{indiciae06985160e6a6,
  title = {A Short Survey on Formalising Software Requirements using Large Language Models},
  author = {Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan},
  year = {2025},
  url = {https://arxiv.org/abs/2506.11874},
  note = {Source identifier: 2506.11874}
}