This is the repository of the paper "Handling Open-Vocabulary Constructs in Formalizing Specifications : Retrieval-Augmented Parsing with Expert Knowledge" - View it on GitHub