Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

doi 10.1145/3372885.3373827
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM

Related search

Empirical Investigation of Optimization Algorithms in Neural Machine Translation

The Prague Bulletin of Mathematical Linguistics
2017English

Application of Methods of Semantic Analysis in Neural Machine Translation

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

Sentiment Aware Neural Machine Translation

2019English

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

The Prague Bulletin of Mathematical Linguistics
2017English

Six Challenges for Neural Machine Translation

2017English

Sequence-To-Dependency Neural Machine Translation

2017English

Regularization Techniques for Fine-Tuning in Neural Machine Translation

2017English

Detecting Untranslated Content for Neural Machine Translation

Journal of Natural Language Processing
2018English

Sogou Neural Machine Translation Systems for WMT17

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy