The field of software requirements formalisation is moving towards increased adoption of large language models (LLMs) to assist in writing formal specifications. This shift is driven by the need to improve software quality and reduce the costs associated with poor software quality. Researchers are exploring the use of LLMs to automate survey generation, improve traceability of software requirements, and develop new tools and methodologies for formal software verification. Noteworthy papers in this area include: A Short Survey on Formalising Software Requirements using Large Language Models, which provides a comprehensive overview of the current state of research in this area. Impact of a Deployed LLM Survey Creation Tool through the IS Success Model, which presents a real-world deployment of an LLM-powered system for survey creation and evaluates its success using the DeLone and McLean IS Success Model.