Exploration of neural machine translation in autoformalization of mathematics in Mizar.
Qingxiang WangChad E. BrownCezary KaliszykJosef UrbanPublished in: CPP (2020)
Keyphrases
- machine translation
- information extraction
- natural language processing
- target language
- cross lingual
- language independent
- language processing
- statistical machine translation
- computer assisted
- word sense disambiguation
- chinese english
- natural language generation
- natural language
- brazilian portuguese
- language resources
- parallel corpora
- word alignment
- cross language information retrieval
- query translation
- machine translation system
- source language
- word level
- parallel corpus
- machine learning
- tasks in natural language processing