Large Language Models Based Automatic Synthesis of Software Specifications. - Shantanu Mandal; Adhrik Chethan; Vahid Janfaza; S. M. Farabi Mahmud; Todd A. Anderson 001; Javier Turek; Jesmin Jahan Tithi; Abdullah Muzahid (CoRR, 2023)