TY - RPRT TI - Large Language Models Based Automatic Synthesis of Software Specifications AU - Shantanu Mandal AU - Adhrik Chethan AU - Vahid Janfaza AU - S M Farabi Mahmud AU - Todd A Anderson AU - Javier Turek AU - Jesmin Jahan Tithi AU - Abdullah Muzahid PY - 2023 UR - https://arxiv.org/abs/2304.09181 ID - 2304.09181 ER -