This receipt records checks for this exact file; it does not prove safety or that it will run on your device. Read the receipt
Quick answer: compatibility and sources
Can I run QED-Nano 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.
QED-Nano is an open-weights language model for text generation. 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-00002.safetensors: 73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba. 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.
Updated · Page-copy source revision 8871bab84e1cf80aea1686a944ec335078a6c036 · Source files: apps/web/lib/model-page-template.mjs, apps/web/lib/model-page-v3.mjs, apps/web/lib/aeo-page.mjs · Full revision record
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-lm-provers-qed-nano.
- Open /artifact/hf-model-lm-provers-qed-nano/files for this exact filenames, availability and any recorded SHA-256.
- Open /evidence/artifacts/hf-model-lm-provers-qed-nano for run-readiness evidence tied to that record; absent receipts stay unmeasured.
- Open /api/artifacts/hf-model-lm-provers-qed-nano/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
Try browser chat with a small demo model (a separate model; device support is checked before loading).
lm-provers/QED-NanoContent controls: not assessed.
The catalog lists this model for having conversations. Catalog sources: license, cardMetadata.license, tags, task, cardMetadata.pipelineTag.
Download availability is being checked.
Hashes recorded. Date not recorded.
| File | Größe | SHA-256 | Quelle | Herunterladen |
|---|---|---|---|---|
| Weights | ||||
model- | 4.97 GB |
| Download availability is being checked. | File metadata |
model- | 3.08 GB |
| Download availability is being checked. | File metadata |
| Tokenizer & config | ||||
. | 209 bytes | — | Download availability is being checked. | File metadata |
. | 222 bytes | — | Download availability is being checked. | File metadata |
added_ | 707 bytes |
| Download availability is being checked. | File metadata |
chat_ | 4.05 KB |
| Download availability is being checked. | File metadata |
config. | 1.57 KB |
| Download availability is being checked. | File metadata |
evals. | 155.4 KB |
| Download availability is being checked. | File metadata |
generation_ | 188 bytes |
| Download availability is being checked. | File metadata |
imoproofbench. | 109.5 KB |
| Download availability is being checked. | File metadata |
logo. | 260.4 KB |
| Download availability is being checked. | File metadata |
merges. | 1.67 MB |
| Download availability is being checked. | File metadata |
model. | 432.8 KB |
| Download availability is being checked. | File metadata |
model. | 32.8 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_ | 9.64 KB |
| Download availability is being checked. | File metadata |
vocab. | 2.78 MB |
| Download availability is being checked. | File metadata |
| Docs | ||||
. | 1.77 KB | — | Download availability is being checked. | File metadata |
README. | 5.74 KB |
| Download availability is being checked. | File metadata |
Einen Download prüfen
In the folder where you saved README.md, run:
shasum -a 256 -- 'README.md'
sha256sum -- 'README.md'
Get-FileHash -LiteralPath 'README.md' -Algorithm SHA256
Compare the result with the recorded SHA-256.