@article{largelanguagemodelsbasedautomatic, title = {Large Language Models Based Automatic Synthesis of Software Specifications}, author = {Shantanu Mandal and Adhrik Chethan and Vahid Janfaza and S M Farabi Mahmud and Todd A Anderson and Javier Turek and Jesmin Jahan Tithi and Abdullah Muzahid}, year = {2023}, eprint = {2304.09181}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2304.09181v1}, }