# djspiewak/typelevel-bert

Model from Hugging Face for feature extraction: djspiewak/typelevel-bert · transformers

## Cite this

- Page: https://huggingbay.xyz/artifact/hf-model-djspiewak-typelevel-bert
- Citation: djspiewak/typelevel-bert. The Hugging Bay model record. https://huggingbay.xyz/artifact/hf-model-djspiewak-typelevel-bert (retrieved 2026-11-14).
- Check a downloaded file: run `shasum -a 256 <file>` (macOS), `sha256sum <file>` (Linux) or `Get-FileHash -Algorithm SHA256 <file>` (Windows), then compare with that file's SHA-256 at https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/files?limit=100. How checks work: https://huggingbay.xyz/verification

## Facts

- Type: Embedding
- Task: feature-extraction
- Framework: transformers
- License: mit: Permissive open license: commercial use, modification, and redistribution are permitted. (https://spdx.org/licenses/MIT.html)
- Source: https://huggingface.co/djspiewak/typelevel-bert
- Hosting: hosted (4 files)
- Files: 4 hosted of 9 listed
- File counts: "listed" is every file in the source repository; only hosted files download from Hugging Bay, and the download plan lists the files it selects for one download, so its count can differ.
- Hosted here: 4 hosted of 9 listed
- Full repo upstream: 101.3 MB
- Recommended file: 44.7 MB · model.safetensors
- Download: https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/download-plan (download plan: https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/download-plan)
- Per-file SHA-256: available for 4 of 4 hosted files via https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/files?limit=100
- Availability: Ready
- Downloadable: yes
- Run-ready: no (Hugging Bay has not certified a run path for this model; hosted bytes are downloadable and hash-checkable only)
- Peer-assisted fallbacks: 0 verified, 0 pending review
- Downloads: 79
- Stars: 0
- Card completeness: 96%

## Description

External Hugging Face catalog record for djspiewak/typelevel-bert. Task: feature extraction. Library: transformers. Languages: en. Datasets referenced by card metadata: custom. Includes 3 model-card evaluation signals. Popularity signal at import: 79 downloads and 0 likes.

## Model Card Facts

- Declared license: mit
- Pipeline: feature-extraction
- Library: transformers
- Task categories: feature-extraction
- Languages: en
- Referenced datasets: custom
- Model-index entries: typelevel-bert
- Evaluation signals: 3 model-card eval results
- File hints: 9 upstream file samples

## Evaluation Signals

- FP-Doc Benchmark v1: NDCG@10 = 0.853 (Document Retrieval)
- FP-Doc Benchmark v1: MRR = 0.9 (Document Retrieval)
- FP-Doc Benchmark v1: Recall@10 = 0.967 (Document Retrieval)

## Referenced Data

- Dataset: custom

## File Hints

- .gitattributes (1.5 KB)
- README.md (4.7 KB)
- config.json (425 B)
- model.safetensors (43 MB) LFS
- onnx/model.onnx (42 MB) LFS
- onnx/model_quantized.onnx (11 MB) LFS
- tokenizer.json (695 KB)
- tokenizer_config.json (322 B)
- vocab.txt (226 KB)

## Quality Checklist

- Summary: passed
- Description: passed
- Model card metadata: passed
- License: passed
- Provenance: passed
- File inventory: passed
- Hosted bytes: passed
- Scan result: passed
- Manifest signature: passed

## Safety Notes

- External catalog metadata imported from Hugging Face public API on 2026-09-26T22:53:10.758Z.
- Open license detected as mit.
- Model-index metadata found for typelevel-bert.
- Model card references dataset context: custom.
- Not a run kit: hosted, hash-checked bytes only; run readiness is not certified for this model yet.

## Actions

- Web: https://huggingbay.xyz/artifact/hf-model-djspiewak-typelevel-bert
- Files API: https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/files?limit=100
- Metadata: https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/metadata.json
- Distribution: https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/distribution
- Manifest: https://huggingbay.xyz/api/manifests/hf-model-djspiewak-typelevel-bert
- Download plan (per-file SHA-256 + signed download URLs): https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/download-plan
- Hosted download rows: https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-djspiewak-typelevel-bert&limit=100
- Request mirror: not applicable.
- Submit peer fallback for review: POST https://huggingbay.xyz/api/artifacts/hf-model-djspiewak-typelevel-bert/decentralized-fallbacks