Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP | IEEE Conference Publication | IEEE Xplore