Computation and Language · Computer Science
LaTeXTrans: Structured LaTeX Translation with Multi-Agent Coordination
Ziming Zhu, Chenglong Wang, Haosong Xv, Shunjie Xing +7
2026-03-12
cmp-lg · Computer Science
Towards an Automatic Dictation System for Translators: the TransTalk Project
Marc Dymetman, Julie Brousseau, George Foster, Pierre Isabelle +2
2008-02-03
Artificial Intelligence · Computer Science
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil, Herman Geuvers
2014-05-15
Logic in Computer Science · Computer Science
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban
2019-12-16
Computation and Language · Computer Science
Neural Machine Translation for Mathematical Formulae
Felix Petersen, Moritz Schubotz, Andre Greiner-Petter, Bela Gipp
2023-05-29
Computation and Language · Computer Science
Translating Step-by-Step: Decomposing the Translation Process for Improved Translation Quality of Long-Form Texts
Eleftheria Briakou, Jiaming Luo, Colin Cherry, Markus Freitag
2024-09-12
Computation and Language · Computer Science
BitextEdit: Automatic Bitext Editing for Improved Low-Resource Machine Translation
Eleftheria Briakou, Sida I. Wang, Luke Zettlemoyer, Marjan Ghazvininejad
2022-06-01
Computation and Language · Computer Science
A Unified Example-Based and Lexicalist Approach to Machine Translation
Davide Turcato, Paul McFetridge, Fred Popowich, Janine Toole
2007-05-23
Computers and Society · Computer Science
Integration of LaTeX formula in computer-based test application for academic purposes
Ikechukwu E. Onyenwe, Ebele Onyedinma, Onyedika O. Ikechukwu-Onyenwe, Obinna Agbata +1
2024-02-06
Computation and Language · Computer Science
Exploring Document-Level Literary Machine Translation with Parallel Paragraphs from World Literature
Katherine Thai, Marzena Karpinska, Kalpesh Krishna, Bill Ray +3
2022-10-27