Datasets › MathMLben
MathMLben (Formula semantics benchmark)
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).
Benchmarks archive 2025-07-28
No leaderboard in the archive resolves to this dataset.
Papers archive 2025-07-28
No paper in the archive has a leaderboard row on this dataset; the archive counts 8 papers for it but never published that list.
Dataset loaders archive 2025-07-28
No loader listed in the archive.
Tasks archive 2025-07-28
No task tagged in the archive.
License archive 2025-07-28
No licence recorded in the archive. Absence here is not a statement about the dataset's terms.
Modalities archive 2025-07-28
No modality tagged.
Languages archive 2025-07-28
Variants archive 2025-07-28
- MathMLben
1 variant name, as the archive lists them.
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections