SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications Sayontan Ghosh author Amanpreet Singh author Alex Merenstein author Wei Su author Scott A Smolka author Erez Zadok author Niranjan Balasubramanian author 2022-06 text Proceedings of the Thirteenth Language Resources and Evaluation Conference Nicoletta Calzolari editor Frédéric Béchet editor Philippe Blache editor Khalid Choukri editor Christopher Cieri editor Thierry Declerck editor Sara Goggi editor Hitoshi Isahara editor Bente Maegaard editor Joseph Mariani editor Hélène Mazo editor Jan Odijk editor Stelios Piperidis editor European Language Resources Association Marseille, France conference publication ghosh-etal-2022-specnfs https://aclanthology.org/2022.lrec-1.233/ 2022-06 2166 2176