Jonathan Drechsel, Anja Reusch, Steffen Herbold
Core AI workload signals detected from paper context and implementation/artifact evidence.
Mathematical formulas are a fundamental and widely used component in various scientific fields, serving as a universal language for expressing complex concepts and relationships. While state-of-the-art transformer models excel in processing and understanding natural language, they encounter challenges with mathematical notation, which involves a complex structure and diverse representations. This study focuses on the ...
development of specialized training datasets to enhance the encoding of mathematical content. We introduce Math Mutator (MAMUT), a framework capable of generating equivalent and falsified versions of a given mathematical formula in LaTeX notation, effectively capturing the mathematical variety in notation of the same concept. Based on MAMUT, we have generated four large mathematical datasets containing diverse notation. Experiments show that models trained on these datasets exhibit new SoTA performance on mathematical retrieval tasks. We publish our code, generated datasets, and pretrained mathematical models: https://github.com/aieng-lab/math-mutator.
Audit each benchmark finding before selecting an implementation path. Evidence refs map to the disclosure section below.
| Task | Dataset | Metric | Value | Source | Evidence refs |
|---|---|---|---|---|---|
| Retrieval / indexing | MATH | Accuracy | 93.98 | paper-derived | No explicit refs |
| Retrieval / indexing | MP BERT | Recall | 99.5 | paper-derived | No explicit refs |
| Retrieval / indexing | MP BERT -random-falses | Recall | 99.7 | paper-derived | No explicit refs |
| Retrieval / indexing | MP BERT -constant-falses | Recall | 99.2 | paper-derived | No explicit refs |
Mathematical formulas are a fundamental and widely used component in various scientific fields, serving as a universal language for expressing complex concepts and relationships.
jdrechsel13/sympy-random-latex is the strongest maintained implementation based on ranking signals. CI workflows are present. License is declared (NOASSERTION).
Open jdrechsel13/sympy-random-latexEvidence graph: 4 refs, 4 links.
Utility signals: depth 90/100, grounding 95/100, status high.
Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
Risk flags
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
Risk flags
Official implementation from Papers with Code
Risk flags
A computer algebra system written in pure Python with a randomized LaTeX Formula Generator
Preserved for provenance. Not recommended as the default path for new builds.
Dependencies pinned, manual setup needed
Quick start
git clone https://github.com/jdrechsel13/sympy-random-latex.git
pip install -e .aieng-lab/transformer-math-evaluation
Framework to pretrain mathematical aware transformer models using MAMUT datasets
No additional community repositories detected yet.
No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.
Broaden model search
No trustworthy demo spaces right now.
Search spaces on Hugging FaceTasks
Retrieval / indexing
Methods
Transformer
Domains
Natural Language Processing, Information Retrieval
Evaluation & Human Feedback Data
Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.
Open in HFEPXExplore Similar Papers
Jump to Paper2Code search queries derived from this paper's research context.
Need human evaluators for your AI research? Scale annotation with expert AI Trainers.