SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
Results and benchmarks
SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training is the primary contribution described in this paper.
Benchmark evidence is limited
Evidence graph: 4 refs, 4 links.
Utility signals: depth 55/100, grounding 85/100, status medium.
Implementation
Best maintained implementation now
[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"
60 stars · 6 forks · Last push Oct 22, 2024 · MIT 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
deep-symbolic-mathematics/Multimodal-Math-Pretraining is the strongest maintained implementation based on ranking signals. License is declared (MIT). Dependency/environment manifests are present.
Open deep-symbolic-mathematics/Multimodal-Math-Pretraining- No CI workflows detected
- Selected deep-symbolic-mathematics/Multimodal-Math-Pretraining as the strongest maintained implementation for new work.
- Includes dependency/environment manifest signals.
- Repository activity is within the last 24 months.
- Official repository is preserved separately as historical context.
Compare implementation paths
Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.
- Maintenance
- Stale
- Confidence
- High
- Reproducibility
- Moderate
- Stars
- 60
- Last push
- Oct 22, 2024 (672d)
Official implementation from Papers with Code · Repository link is mentioned in the paper metadata
- No push in 12+ months
- No CI pipeline detected
- No tagged releases
- Maintenance
- Stale
- Confidence
- High
- Reproducibility
- Moderate
- Stars
- 24
- Last push
- Oct 21, 2024 (673d)
Official implementation from Papers with Code · Partial overlap with paper title keywords
- No push in 12+ months
- No CI pipeline detected
- No tagged releases
Reproduction readiness
Setup required
Dependencies pinned, manual setup needed
- deep-symbolic-mathematics/Multimodal-Math-Pretraining has environment.yml but requires manual environment setup.
- Last push was 672 days ago, so expect possible dependency version conflicts.
- No Dockerfile, so you will set up the environment manually.
- No CI pipeline, so test coverage is unknown.
Quick start
git clone https://github.com/deep-symbolic-mathematics/Multimodal-Math-Pretraining.git
conda env create -f environment.yml && conda activate <env-name> Validation caveat
Hugging Face artifacts
No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.
Models
- MaziyarPanahi/OpenHermes-7B-Symbolic-Mistral-7B-Instruct-v0.2-slerp-GGUF
203 downloads · 1 likes
Broaden model search
Datasets
No trustworthy datasets matches right now.
Search datasets on Hugging FaceSpaces
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 ).