@INPROCEEDINGS{hasan2024handling,
  TITLE =        "Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval Augmented Parsing with Expert Knowledge",
  AUTHOR =       "Mohammad Saqib Hasan and Sayontan Ghosh and Dhruv Verma and Geoff Kuenning and Erez Zadok and Scott Smolka and Niranjan Balasubramanian",
  BOOKTITLE =    "Proceedings of the First Conference on Language Modeling (COLM 2024)",
  YEAR =         "2024",
  MONTH =        "October",
  ADDRESS =      "Philadelphia, PA",
  URL =          "https://openreview.net/forum?id=BgvgMxY8s5",
}