# lm-provers/QED-Nano

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

## Facts

- Type: LLM
- Task: text-generation
- Framework: transformers
- License: apache-2.0 — Permissive open license: commercial use, modification, and redistribution are permitted. (https://spdx.org/licenses/Apache-2.0.html)
- Source: https://huggingface.co/lm-provers/QED-Nano
- Hosting: hosted (13 files)
- Files: 13 hosted of 20 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: at least 13 listed files; full count and size unknown
- Full repo upstream: 8.06 GB
- Download: https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano/files (download plan: https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/download-plan)
- Per-file SHA-256: available for 10 of 13 hosted files via https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/files?limit=100
- 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: 153
- Stars: 89
- Card completeness: 96%

## Description

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.

## Model Card Facts

- Declared license: apache-2.0
- Pipeline: text-generation
- Library: transformers
- Task categories: text-generation
- Languages: en
- Referenced datasets: lm-provers/FineProofs-RL
- Paper ids: 2602.03773
- File hints: 16 upstream file samples

## Referenced Data

- Dataset: lm-provers/FineProofs-RL
- Paper: 2602.03773

## File Hints

- .eval_results/MathArena--aime_2026.yaml (209 B)
- .eval_results/MathArena--hmmt_feb_2026.yaml (222 B)
- .gitattributes (1.7 KB)
- README.md (5.6 KB)
- added_tokens.json (707 B)
- chat_template.jinja (4.0 KB)
- config.json (1.5 KB)
- evals.png (152 KB) LFS
- generation_config.json (188 B)
- imoproofbench.png (107 KB) LFS
- logo.png (254 KB) LFS
- merges.txt (1.6 MB)

## 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-02T23:41:52.276Z.
- Open license detected as apache-2.0.
- Model card references dataset context: lm-provers/FineProofs-RL.
- 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-lm-provers-qed-nano
- Files API: https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/files?limit=100
- Metadata: https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/metadata.json
- Distribution: https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution
- Manifest: https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano
- Download plan (per-file SHA-256 + signed download URLs): https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/download-plan
- Hosted download rows: https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-lm-provers-qed-nano&limit=100
- Request mirror: not applicable.
- Submit peer fallback for review: POST https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks