Driver metadata
- Slug
- deepseek-coder
- Status
- active
- Protocol match
- unknownDriver measures a metric the paper does not directly report. Validator C1 auto-downgrades not_reproduced to pending.
- Agent version
- v0.1.0-deepseek-coder-pythonppl-microslice
- Paper
- DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
- Model
- deepseek-ai/deepseek-coder-1.3b-base
Claim citation
This is the exact paper claim the driver compares against before the Verdict Validator allows any public WRONG path.
- Location
- Table 2 · DeepSeek-Coder-1.3B-Base
- Metric
- HumanEval pass@1(pass@1)
- Reported value
- 34.8
- PDF page
- 8
- Quoted text
- “34.8”
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-deepseek-coder.ts ↗— TS orchestrator (claim citation, DB write, validator wiring)
- modal/reproduce_deepseek_coder.py ↗— Python Modal job (HF model load, evaluation harness, measurement)