l3lab/ntp-mathlib-context-deepseek-coder-1.3b

l3lab/ntp-mathlib-context-deepseek-coder-1.3b: Model from Hugging Face: l3lab/ntp-mathlib-context-deepseek-coder-1.3b License: mit. external Hugging Face metadata. Scan: pending.

License

mit

Scan status

pending

Hosting status

external

Upstream

l3lab/ntp-mathlib-context-deepseek-coder-1.3b

Open interactive artifact page