SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications

Sayontan Ghosh | Amanpreet Singh | Alex Merenstein | Wei Su | Scott A. Smolka | Erez Zadok | Niranjan Balasubramanian |

Paper Details:

Month: June
Year: 2022
Location: Marseille, France
Venue: LREC |

Citations

URL

No Citations Yet

No URLs Found

Field Of Study