SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications

Sayontan Ghosh, Amanpreet Singh, Alex Merenstein, Wei Su, Scott A. Smolka, Erez Zadok, Niranjan Balasubramanian