Papers by Erez Zadok
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications (2022.lrec-1)
Copied to clipboard
Sayontan Ghosh, Amanpreet Singh, Alex Merenstein, Wei Su, Scott A. Smolka, Erez Zadok, Niranjan Balasubramanian
| Challenge: | Existing methods for building formal semantic representations of specification texts are laborious and error-prone. |
| Approach: | They propose to use SpecIR to model sentences appearing in NFS specification documents as IF-THEN statements and introduce a representation language to parse them. |
| Outcome: | The proposed models achieve an F1 score of only 60.5 and 33.3 when using a state-of-the-art language model. |