Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.
Himaja CherukuriAlessio FerrariPaola SpoletiniPublished in: REFSQ (2022)
Keyphrases
- machine translation
- formal methods
- natural language
- model checking
- language processing
- temporal logic
- natural language processing
- natural language generation
- formal specification
- language independent
- cross lingual
- knowledge based systems
- formal verification
- cross language information retrieval
- statistical machine translation
- information extraction
- target language
- finite state
- word sense disambiguation
- word alignment
- question answering
- artificial intelligence
- chinese english
- machine learning
- software engineering
- knowledge representation
- dialogue system
- machine translation system
- word level
- parallel corpus
- concurrent systems
- semantic analysis
- source language
- word order
- tasks in natural language processing