Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP.

Iat Tou Leong, Raul Barbosa

Browse the full DSN paper archive.