Предсказание зависимостей
task
ID: dependencylinkprediction
Related Papers
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications
AbstractCan NLP assist in building formal models for verifying complex systems? We study this challenge in the context of parsing Network File System (NFS) specifications. We define a semantic-dependency problem …...