@INPROCEEDINGS{ghosh-2022-SpecNFS,
  TITLE =        "{SpecNFS}: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications",
  AUTHOR =       "Sayontan Ghosh and Amanpreet Singh and Meyer ``Alex'' Merenstein and Wei Su and Scott A. Smolka and Erez Zadok and Niranjan Balasubramanian",
  BOOKTITLE =    "Proceedings of the 13th Language Resources and Evaluation Conference (LREC'22)",
  ADDRESS =      "Marseille, France",
  PAGES =        "2166--2176",
  MONTH =        "June",
  YEAR =         "2022",
  URL =          "\url{https://aclanthology.org/2022.lrec-1.233}",
}