Results and benchmarks
FormTracer - A Mathematica Tracing Package Using FORM is the primary contribution described in this paper.
Benchmark evidence is limited
Evidence graph: 3 refs, 3 links.
Utility signals: depth 65/100, grounding 75/100, status medium.
Implementation
Best maintained implementation now
A Mathematica Tracing Package Using FORM
26 stars · 5 forks · Last push Oct 19, 2026 · GPL-3.0 license
- License
- CI
- Dependencies
- Docker
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Strong overlap with paper title keywords
FormTracer/FormTracer is the strongest maintained implementation based on ranking signals. License is declared (GPL-3.0).
Open FormTracer/FormTracer- No CI workflows detected
- Dependency manifest is missing
- Selected FormTracer/FormTracer as the strongest maintained implementation for new work.
- Repository activity is within the last 24 months.
Reproduction readiness
Major work
No dependency manifest, manual reconstruction required
- FormTracer/FormTracer has no requirements.txt, environment.yml, pyproject.toml, or Dockerfile.
- You will need to reverse-engineer dependencies from import statements in the source code.
Hardware requirements
- Expect multi-day setup/compute for meaningful reproduction based on current guidance.
Validation caveat
Hugging Face artifacts
No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.
Models
No trustworthy models matches right now.
Search models on Hugging FaceDatasets
- mteb/cqadupstack-mathematica
1,551 downloads · 1 likes · Updated May 4, 2025
- XinyaoHu/AMPS_mathematica
136 downloads · 4 likes · Updated Jul 15, 2024
Broaden dataset search
Spaces
No trustworthy spaces matches right now.
Search spaces on Hugging FaceResearch context
Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.
Open in HFEPXData includes links from Papers with Code ( CC-BY-SA-4.0 ).