Driver metadata
- Slug
- mamba
- Status
- active
- Protocol match
- proxyDriver measures a proxy of the cited metric. Validator C1 auto-downgrades not_reproduced to partial.
- Agent version
- v0.1.0-mamba-wikitext2-3slice8
- Paper
- Mamba: Linear-Time Sequence Modeling with Selective State Spaces
- Model
- state-spaces/mamba-130m-hf
Claim citation
This is the exact paper claim the driver compares against before the Verdict Validator allows any public WRONG path.
- Location
- Table 4 · Mamba 130M
- Metric
- WikiText (ppl)(perplexity)
- Reported value
- 28.39
- PDF page
- 8
- Quoted text
- “Mamba 130M 28.39”
Source
Every driver is a TypeScript orchestration script that routes the result through the Verdict Validator. Drivers with runnable public checkpoints also link the hermetic Modal job that loads the model and measures the paper claim.
- scripts/run-reproduction-mamba.ts ↗— TS orchestrator (claim citation, DB write, validator wiring)
- modal/reproduce_mamba.py ↗— Python Modal job (HF model load, evaluation harness, measurement)