Zum Hauptinhalt springen

AI models that run on this device.

Two small chat models run in a computer’s browser here; every other model is a file you download.

lm-provers

QED-Nano

lm-provers/QED-Nano
text generationLicense: apache-2.0Hashes recordedsafetensors

Content controls: not assessed.

Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers

Enthaltene Dateien

13 hosted of 20 listed

Weights
Tokenizer & config
README, LICENSE & .gitattributes

Über dieses Modell

External Hugging Face catalog record for lm-provers/QED-Nano. Task: text generation. Library: transformers. Languages: en. Datasets referenced by card metadata: lm-provers/FineProofs-RL. Popularity signal at import: 6,877 downloads and 89 likes.

Kurzinfo

Hosted here
13 hosted of 20 listed
Full repo upstream
8.06 GB
Languages
en
Format
safetensors
Downloads on Hugging Face
153
File hashes
Hashes recorded. Date not recorded.

Lizenz und Quelle

License: apache-2.0

Check the license text and keep the required notices when you use or share the files.

Upstream source →

See the JSON record →

Task
text generation
Hosted here
at least 13 listed files; full count and size unknown
Full repo upstream
8.06 GB
Files
13 hosted of 20 listed
Added to Hugging Bay
Updated at source

FAQ

What is this model?

lm-provers/QED-Nano is an open-weights language model for text generation published by lm-provers, added to Hugging Bay Jun 30, 2026. Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers

Can I use it commercially?

It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted.

How big is it?

Hosted here: at least 13 listed files; full count and size unknown. Full repo upstream: 8.06 GB.

What can I download here?

Hosted here: at least 13 listed files; full count and size unknown. Full repo upstream: 8.06 GB. The original release is at https://huggingface.co/lm-provers/QED-Nano.

File checks and computer fit
File pattern scans

Automated file-pattern scans flagged nothing; not a safety guarantee. 13 hosted files carry a published SHA-256 you can re-hash. The machine-readable verdict is at /api/artifacts/hf-model-lm-provers-qed-nano/safety on Hugging Bay.

Will lm-provers/QED-Nano run on my computer?

We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked.

Ähnliche gehostete Modelle

Gehostete Modelle entdecken