LaTeXify Math: 协助数学问答网站协作编辑的数学公式标记修订工具

视频

DOI

Mathematics Stack Exchange是一个数学问答网站，协作编辑问题和答案在其质量控制中发挥重要作用。我们对该网站帖子编辑的研究显示，存在大量与LaTeX公式标记化、LaTeX修订和模糊数学公式截图转换相关的编辑。尽管很重要，但手动编辑包含复杂数学公式的帖子即使对有经验的用户也既耗时又容易出错。为帮助帖子所有者和编辑进行此类编辑，我们开发了编辑辅助工具MathLatexEdit，用于公式LaTeX化、LaTeX修订和截图转录。我们将公式编辑任务形式化为翻译问题，将原始帖子翻译为修订后的帖子。MathLatexEdit实现了基于深度学习的方法，包括用于文本和视觉LaTeX编辑建议的带数学特定推理的两个编码器-解码器模型。两个模型在大规模历史原始-编辑帖子对和合成截图-公式对上进行训练。我们对MathLatexEdit的评估不仅证明了模型的准确性，也证明了MathLatexEdit在编辑被Mathematics Stack Exchange接受的真实世界帖子中的实用性。