SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications.
Sayontan GhoshAmanpreet SinghAlex MerensteinWei SuScott A. SmolkaErez ZadokNiranjan BalasubramanianPublished in: LREC (2022)
Keyphrases
- formal models
- natural language
- formal model
- rule based systems
- written in natural language
- formal language
- process model
- visual object classes
- controlled natural language
- natural language interface
- knowledge representation
- semantic representation
- neural network
- machine learning
- semantic analysis
- high level
- benchmark datasets
- model checking
- case study
- decision making
- functional requirements
- natural language understanding
- natural language generation
- semantic interpretation
- question answering
- feature selection
- information retrieval
- object detection