Driver metadata
- Slug
- mobilebert
- 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-mobilebert-mnli-microslice
- Paper
- MobileBERT: a Compact Task-Agnostic BERT for Resource-Limited Devices
- Model
- typeform/mobilebert-uncased-mnli
Claim citation
This is the exact paper claim the driver compares against before the Verdict Validator allows any public WRONG path.
- Location
- Table 4 · MobileBERT
- Metric
- MNLI-m(accuracy)
- Reported value
- 84.3
- PDF page
- 6
- Quoted text
- “MobileBERT 84.3”
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-mobilebert.ts ↗— TS orchestrator (claim citation, DB write, validator wiring)
- modal/reproduce_mobilebert.py ↗— Python Modal job (HF model load, evaluation harness, measurement)