Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar.
Qingxiang WangChad E. BrownCezary KaliszykJosef UrbanPublished in: CoRR (2019)
Keyphrases
- machine translation
- language independent
- natural language processing
- information extraction
- cross lingual
- target language
- language processing
- computer assisted
- language resources
- word sense disambiguation
- natural language
- cross language information retrieval
- statistical machine translation
- chinese english
- parallel corpora
- natural language generation
- machine translation system
- word alignment
- query translation
- brazilian portuguese