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

Browse the full LREC paper archive.