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 Goedel-Prover-V2-32B 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.
Goedel-Prover-V2-32B 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-00014.safetensors: 152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0. 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-goedel-lm-goedel-prover-v2-32b.
- Open /artifact/hf-model-goedel-lm-goedel-prover-v2-32b/files for exact filenames, availability and any recorded SHA-256 for this model.
- Open /evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b for run-readiness evidence tied to that record; absent receipts stay unmeasured.
- Open /api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/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).
Goedel-LM/Goedel-Prover-V2-32BContent 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 | Size | SHA-256 | Source | Download |
|---|---|---|---|---|
| Weights | ||||
model- | 4.93 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 4.88 GB |
| Download availability is being checked. | File metadata |
model- | 2.08 GB |
| Download availability is being checked. | File metadata |
| Tokenizer & config | ||||
added_ | 707 bytes |
| Download availability is being checked. | File metadata |
config. | 730 bytes |
| Download availability is being checked. | File metadata |
generation_ | 143 bytes |
| Download availability is being checked. | File metadata |
merges. | 1.67 MB | — | Download availability is being checked. | File metadata |
model. | 58.3 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.79 KB |
| Download availability is being checked. | File metadata |
vocab. | 2.78 MB | — | Download availability is being checked. | File metadata |
| Docs | ||||
. | 1.57 KB | — | Download availability is being checked. | File metadata |
README. | 10.4 KB | — | Download availability is being checked. | File metadata |
Check a 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.