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

15804

Knowledge Triples

Source Entity	Relationship	Target Entity
Семантический анализ зависимостей Task	evaluates	Предсказание зависимостей Task
Семантический анализ зависимостей Task	evaluates	Распознавание именованных сущностей Task
Семантический анализ зависимостей Task	uses	SpecIR Material