@MISC{specnfs21aclposter,
  TITLE =        "{SpecNFS}: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications",
  HOWPUBLISHED = "Non-archival poster presentation in the Workshop on Natural Language Processing for Programming in the ACL'21 conference",
  AUTHOR =       "Sayontan Ghosh and Amanpreet Singh and Alex Merenstein and Wei Su and Scott Smolka and Erez Zadok and Niranjan Balasubramanian",
  MONTH =        "August",
  YEAR =         "2021",
}