{"url":"/dataset/mathmlben","name":"MathMLben","full_name":"Formula semantics benchmark","description_markdown":"MathMLben is a benchmark to the evaluate tools for mathematical format conversion (LaTeX ↔ MathML ↔ CAS). It comprises semantically annotated and linked formulae extracted from the NTCIR 11/12 arXiv and Wikipedia task / dataset, NIST Digital Library of Mathematical Functions (DLMF) and annotations using the AnnoMathTeX formula and identifier name recommender system (https://annomathtex.wmflabs.org).","description_withheld":null,"homepage":"https://mathmlben.wmflabs.org","introduced_date":"2018-04-13","introduced_date_note":null,"introduced_by":{"paper":"/paper/improving-the-representation-and-conversion","title":"Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context","first_author":"Schubotz Moritz","url":null},"license":null,"modalities":[],"tasks":[],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["MathMLben"],"data_loaders":[],"num_papers_in_archive":8,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}