Latexify Math: Mathematical Formula Markup Revision to Assist Collaborative Editing in Math Q A Sites

09/20/2021
by   Suyu Ma, et al.
0

Collaborative editing questions and answers plays an important role in quality control of Mathematics Stack Exchange which is a math Q A Site. Our study of post edits in Mathematics Stack Exchange shows that there is a large number of math-related edits about latexifying formulas, revising LaTeX and converting the blurred math formula screenshots to LaTeX sequence. Despite its importance, manually editing one math-related post especially those with complex mathematical formulas is time-consuming and error-prone even for experienced users. To assist post owners and editors to do this editing, we have developed an edit-assistance tool, MathLatexEdit for formula latexification, LaTeX revision and screenshot transcription. We formulate this formula editing task as a translation problem, in which an original post is translated to a revised post. MathLatexEdit implements a deep learning based approach including two encoder-decoder models for textual and visual LaTeX edit recommendation with math-specific inference. The two models are trained on large-scale historical original-edited post pairs and synthesized screenshot-formula pairs. Our evaluation of MathLatexEdit not only demonstrates the accuracy of our model, but also the usefulness of MathLatexEdit in editing real-world posts which are accepted in Mathematics Stack Exchange.

READ FULL TEXT
research
10/07/2022

Automatic Prediction of Rejected Edits in Stack Overflow

The content quality of shared knowledge in Stack Overflow (SO) is crucia...
research
12/18/2021

Assessing Post-editing Effort in the English-Hindi Direction

We present findings from a first in-depth post-editing effort estimation...
research
07/31/2018

Manual Post-editing of Automatically Transcribed Speeches from the Icelandic Parliament - Althingi

The design objectives for an automatic transcription system are to produ...
research
07/24/2019

Translator2Vec: Understanding and Representing Human Post-Editors

The combination of machines and humans for translation is effective, wit...
research
09/21/2022

PePe: Personalized Post-editing Model utilizing User-generated Post-edits

Incorporating personal preference is crucial in advanced machine transla...
research
12/13/2015

Stack Exchange Tagger

The goal of our project is to develop an accurate tagger for questions p...
research
02/28/2023

Robustness of edited neural networks

Successful deployment in uncertain, real-world environments requires tha...

Please sign up or login with your details

Forgot password? Click here to reset