TY  - RPRT
TI  - Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
AU  - Mohammad Saqib Hasan
AU  - Sayontan Ghosh
AU  - Dhruv Verma
AU  - Geoff Kuenning
AU  - Erez Zadok
AU  - Scott A. Smolka
AU  - Niranjan Balasubramanian
PY  - 2025
UR  - https://arxiv.org/abs/2509.08808
ID  - 2509.08808
ER  -