数学公式识别（图像到 LaTeX）

Formula OCR maps a raster image of notation to a symbolic sequence, often LaTeX. Unlike ordinary left-to-right text, equations encode vertical relationships: fractions, superscripts, subscripts, matrices, and nested delimiters. A model must infer both the tokens and their spatial structure. Encoder-decoder methods transform image features into a sequence of markup tokens. The IM2LATEX-100K paper, for example, evaluates such conversion on a dataset of formula images and LaTeX sequences. The output can compile while still being wrong. A misplaced minus sign, exponent, or fraction boundary changes a formula’s meaning; a visually similar character may be read incorrectly. Dataset coverage also matters: printed equations rendered from LaTeX differ from handwriting, textbook scans, or notation from specialized fields. Sequence-level metrics may reward similar strings without reflecting mathematical equivalence, while image-based comparison can miss semantic distinctions. Always compare the result with the source crop and, when useful, compile the markup to inspect layout. For a production workflow, retain the image, markup, model version, and confidence or review status. Evaluate exact token errors as well as symbol- and structure-specific failures. Ask a qualified reader to check formulas used in publications, calculations, or assessments. Image-to-LaTeX is a transcription aid; it does not prove a derivation, theorem, or computation is mathematically valid. For a classroom or publication workflow, retain edits so recurring symbol confusions can be found and corrected.