What we checked
File: check availability in Files.
Memory: Fit unknown. File size needed to check fit.
Last recorded run: none for this selected file.
Recorded checks do not guarantee safety or performance on your computer.
See file checks and sourcesQuick answer: compatibility and sources
Can I run lean-finder on my computer?
It depends on your memory, processor, file format and runtime. A download is not confirmed by the current file evidence; inspect the file record before trying it. A file-size fit is an estimate, not a successful run or speed promise. Read the license before use.
lean-finder is an embedding model for text embeddings. Model weights are learned parameters; a runtime loads them. A hosted file is an individual file Hugging Bay can serve. SHA-256 identifies exact file bytes. The availability date above applies to this file record, not the upstream metadata update date.
As of the recorded file availability check on .
Recorded SHA-256 for model-00001-of-00004.safetensors: 8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161. Exact file evidence · Machine-readable source facts · Run evidence and any recorded receipts. A checksum fingerprints only the named file bytes; it does not prove safety, quality, a complete multi-file selection or a successful run.
Page text updated .
Model metadata: As of at the model source. Popularity counters are source-reported, not measured by Hugging Bay. Availability checked .
Key facts
- Catalog record
- Summarizes upstream metadata; it is not itself a download or run receipt.
- File evidence
- Lists exact filenames, availability and any recorded SHA-256 for individual files.
- Run evidence
- Reports measured results only when a receipt exists for named file bytes and a setup; otherwise unmeasured.
- Checksum scope
- SHA-256 fingerprints one file’s bytes; it does not prove safety, quality or a multi-file bundle.
Evidence you can inspect (plain text)
- This page’s quick answer names the file record for hf-model-delta-lab-ai-lean-finder.
- Open /artifact/hf-model-delta-lab-ai-lean-finder/files for exact filenames, availability and any recorded SHA-256 for this model.
- Open /evidence/artifacts/hf-model-delta-lab-ai-lean-finder for run-readiness evidence tied to that record; absent receipts stay unmeasured.
- Open /api/artifacts/hf-model-delta-lab-ai-lean-finder/card.md for machine-readable source facts (not a runtime test).
- A matching checksum on this page fingerprints only the named bytes shown in file evidence.
Unmeasured states are stated explicitly; this page does not invent run scores or compatibility guarantees.
Which date applies to which fact
- File availability check:
- Committed page-copy sources:
- Upstream model metadata: Dates on artifact records when shown; not implied by page-copy revision
- Run receipts: Only on /evidence pages when recorded; otherwise unmeasured
Page-copy revision (Updated line above) identifies committed text sources, not upstream model edits or test outcomes.
Requirements and source record
delta-lab-ai/lean-finderContent controls: not assessed.
The catalog lists this model for checking whether two sentences mean similar things. Catalog sources: license label, model card license, publisher tags, task label, model card task.
Download availability is being checked.
Hashes recorded. Date not recorded.
| File | Tamanho | SHA-256 | Origem | Baixar |
|---|---|---|---|---|
| Weights | ||||
model- | 4.9 GB |
| Download availability is being checked. | File metadata |
model- | 4.92 GB |
| Download availability is being checked. | File metadata |
model- | 4.98 GB |
| Download availability is being checked. | File metadata |
model- | 1.58 GB |
| Download availability is being checked. | File metadata |
| Tokenizer & config | ||||
added_ | 605 bytes |
| Download availability is being checked. | File metadata |
chat_ | 2.43 KB |
| Download availability is being checked. | File metadata |
config. | 1.56 KB |
| Download availability is being checked. | File metadata |
generation_ | 139 bytes |
| Download availability is being checked. | File metadata |
mathlib4_ | 3.24 GB |
| Download availability is being checked. | File metadata |
mathlib4_ | 169 MB |
| Download availability is being checked. | File metadata |
mathlib4_ | 3.46 GB |
| Download availability is being checked. | File metadata |
mathlib4_ | 212.8 MB |
| Download availability is being checked. | File metadata |
mathlib4_ | 3.68 GB |
| Download availability is being checked. | File metadata |
mathlib4_ | 232 MB |
| Download availability is being checked. | File metadata |
merges. | 1.67 MB | - | Download availability is being checked. | File metadata |
model. | 32.9 KB |
| Download availability is being checked. | File metadata |
special_ | 613 bytes |
| Download availability is being checked. | File metadata |
tokenizer. | 11.4 MB |
| Download availability is being checked. | File metadata |
tokenizer_ | 4.69 KB |
| Download availability is being checked. | File metadata |
vocab. | 2.78 MB | - | Download availability is being checked. | File metadata |
| Docs | ||||
. | 1.91 KB | - | Download availability is being checked. | File metadata |
README. | 3.42 KB | - | Download availability is being checked. | File metadata |
Verificar um download
In the folder where you saved added_tokens.json, run:
shasum -a 256 -- 'added_tokens.json'
sha256sum -- 'added_tokens.json'
Get-FileHash -LiteralPath 'added_tokens.json' -Algorithm SHA256
Compare the result with the recorded SHA-256.