@misc{indiciae50ab0e83ad29,
  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 A. Smolka and Niranjan Balasubramanian},
  year = {2025},
  url = {https://arxiv.org/abs/2509.08808},
  note = {Source identifier: 2509.08808}
}