Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

doi 10.1145/3372885.3373827

Full Text

Abstract

Available in

Date

January 20, 2020

Authors

Cezary Kaliszyk

Publisher

ACM

Related search

Empirical Investigation of Optimization Algorithms in Neural Machine Translation

The Prague Bulletin of Mathematical Linguistics

English

Application of Methods of Semantic Analysis in Neural Machine Translation

Современные наукоемкие технологии (Modern High Technologies)

English

Sentiment Aware Neural Machine Translation

English

Unraveling the Contribution of Image Captioning and Neural Machine Translation for Multimodal Machine Translation

The Prague Bulletin of Mathematical Linguistics

English

Six Challenges for Neural Machine Translation

English

Sequence-To-Dependency Neural Machine Translation

English

Regularization Techniques for Fine-Tuning in Neural Machine Translation

English

Detecting Untranslated Content for Neural Machine Translation

Journal of Natural Language Processing

English

Dense Information Flow for Neural Machine Translation

English