Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval Augmented Parsing with Expert Knowledge
Mohammad Saqib Hasan Sayontan Ghosh Dhruv Verma Geoff Kuenning Erez Zadok Scott Smolka Niranjan Balasubramanian