build-small-hackathon/proofkit-qwen0.5b-7k
build-small-hackathon/proofkit-qwen0.5b-7k: Model from Hugging Face: build-small-hackathon/proofkit-qwen0.5b-7k License: apache-2.0. external Hugging Face metadata. Scan: pending.
- License
- apache-2.0
- Scan status
- pending
- Hosting status
- external
- Upstream
- build-small-hackathon/proofkit-qwen0.5b-7k
Open interactive artifact page