Model page

purewhite42/rautoformalizer_ra_deepseek warn

Weights only ship in a format that can run code when loaded; its license differs from its base model's; the chat template was dropped from its base model, which changes behavior. Plus 2 more issues.

downloads 17likes 0license apache-2.0arch llamaupdated 2025-05-20

claims base: internlm/internlm2-math-base-7b, deepseek-ai/deepseek-math-7b-base · chat template: not found · view on Hugging Face ↗

Scan coverageStatic battery2026-08-26Weights battery2026-08-26Behavioral batterynot rundetails
BatteryLooks atStatus
Static batteryMetadata & packagingcomplete 2026-08-26
Weights batteryWeights forensics: no GPU, no downloadcomplete 2026-08-26102,400-token embedding scanned · 5467 undertrained · lineage inconsistent · pickle audit clean
Behavioral batteryLive-inference differentialsnot run

Ingot runs three batteries against a model. What each one checks →

Findings

Scanned 2026-08-26 · published from a community scan.

medium Pickle-serialized weights, no safetensors

Weights ship only as pickle-based files (pytorch_model-00001-of-00008.bin, pytorch_model-00002-of-00008.bin, pytorch_model-00003-of-00008.bin, …). Loading pickle executes arbitrary code from the file — prefer a safetensors release or load in a sandbox.

How to fix

Convert the weights to safetensors before loading them anywhere that matters.

  1. Do not load the pickle files in-process — pickle deserialization executes arbitrary code from the file.
  2. Convert locally in a sandbox: `pip install safetensors` and use `safetensors.torch.save_file` on a state dict loaded with `torch.load(..., weights_only=True)` (refuses most code-execution payloads), or use Hugging Face's `convert.py` space/script.
  3. Pin the exact revision hash you converted from, and load only your converted safetensors artifact from then on.

medium License differs from claimed parent (apache-2.0 vs other)

This model declares apache-2.0 while its claimed base internlm/internlm2-math-base-7b declares other. Verify the re-license is permitted before commercial use.

How to fix

Verify the re-license is actually permitted before relying on it.

  1. Read the parent's license for derivative-work and re-licensing terms — many open-weight licenses (e.g. Llama-family) do not permit arbitrary re-licensing.
  2. If the re-license is not permitted, the parent's terms govern your use regardless of what this repo declares.

medium Chat template dropped vs parent

internlm/internlm2-math-base-7b ships a chat template; this repo does not. Serving stacks will silently fall back to a generic template, changing behavior. (In our 296-model census, 78% of pure quantization re-releases changed or dropped the template.)

How to fixingot patch

Restore the parent's chat template in `tokenizer_config.json` — a pure metadata fix.

  1. Run `ingot patch <owner/model>` — the patch manifest carries the parent's template and applies it to a local copy's `tokenizer_config.json`.
  2. Or fix by hand: copy the `chat_template` value from the parent repo's `tokenizer_config.json` into this model's, and pin your serving stack to that file.
  3. If the drift was intentional (the author retrained on a new template), confirm that in the model card before "fixing" it — restoring the parent template on retrained weights changes behavior too.

medium Vocabulary size differs from claimed parent (102400 vs 92544)

A changed vocab means changed tokenization: strings will split differently than on internlm/internlm2-math-base-7b, which can shift behavior on identifiers, codes, and non-English text.

How to fixweight-level

Not patchable: the vocab size mirrors the embedding matrix in the weights. Verify the change was intentional.

  1. Do not edit `vocab_size` in config.json to "match the parent" — it must equal the embedding table in the shipped weights or the model won't load.
  2. Diff the tokenizers (`tokenizer.json` / added_tokens) against the parent to see what was added or removed, and test your own identifiers, codes, and non-English text through both.
  3. If the drift is unexplained by the model card, treat tokenization-sensitive behavior as unvalidated on this model.

medium Undertrained (glitch) token surface in vocabulary

Embedding-norm scan flagged 5467 undertrained tokens (norm < 0.3× the vocabulary median of 11.790), including 1703 plain-ASCII strings that can appear in ordinary input as identifiers — e.g. "IconSuccessEncoded", "IconErrorEncoded", "orangehilldev", "EDIPU", "lemanya", "odeciclismo", "RecordedVote", "linkedExternalProjectPath". In models where this class was tested behaviorally, such tokens silently rewrote user input into confident, schema-valid, wrong output. These are candidates from the weights alone; behavioral confirmation requires the behavioral battery.

How to fixruntime guardweight-level

Keep the affected token strings out of the model's input — the scan-derived runtime guard carries this model's exact blocklist.

  1. Fetch this model's guard artifact (`/api/v1/guard/<owner>/<model>`): the confirmed corrupting tokens and the low-norm candidate list, derived from the published scan.
  2. Screen inbound text with it (the `@ingotai/guard` package is a reference implementation) and route flagged records to a different model or human review — verbatim-copy tasks on flagged strings are the failure mode.
  3. The underlying cause is undertrained embeddings in the weights; a true fix is weight-level (continued pretraining on the affected tokens) — that is not a patch, it's a training job.

info Pickle static analysis clean

Opcode-level parse of pytorch_model-00001-of-00008.bin, pytorch_model-00002-of-00008.bin, pytorch_model-00003-of-00008.bin, pytorch_model-00004-of-00008.bin (no code executed) found only standard serialization globals (3 distinct, all torch/collections/numpy). Pickle remains an executable format — this verifies the current bytes, not future uploads; prefer a safetensors release.

low Weights diverge from claimed parent internlm/internlm2-math-base-7b

This model declares internlm/internlm2-math-base-7b as its base (relation: unspecified), but mean cosine similarity of 58 sampled token-embedding rows against that parent is only -0.004 (true finetunes, merges, and quantizations sit above 0.8; independently trained weights sit near 0). Either the lineage label is wrong, or the model was so heavily re-trained, pruned, or distilled that the parent's properties (safety posture, evaluated behavior, licensing basis) should not be assumed to carry over. Verify provenance before relying on the parent's reputation.

How to fix

Fix or verify the `base_model` declaration so lineage checks can run.

  1. If you own the repo: correct the `base_model` field in the model card metadata to the real, public parent.
  2. If you don't: identify the true parent (config architecture + weight shapes narrow it fast) and re-scan with that lineage in mind.
Put this result in your workflow

Check every checkpoint before it ships

Use the web app, API, CLI, or CI gate to scan candidate checkpoints and catch model drift before deployment. Public-model scans publish to the open database; paid plans add the volume needed for continuous checks.

Fix it

Some findings are metadata-level and patchable — apply the fixes to your local copy (your weights never leave your machine):

npx @ingotai/scan patch purewhite42/rautoformalizer_ra_deepseek

Remediation guidance addresses the documented findings only. It is evidence-driven repair, not a safety certification of the model.

Fingerprint

The durable profile of this model: measured weights-and-metadata facts, rebuilt on every scan and battery run. Updated 2026-08-26.

architecturellama · 30 layers · 4096-dim
vocabulary102,400 tokens
licenseapache-2.0
serializationno safetensors pickle
chat templatenone
claimed lineageinternlm/internlm2-math-base-7b, deepseek-ai/deepseek-math-7b-base
lineage verifiedinconsistent vs internlm/internlm2-math-base-7b — embedding-row cosine -0.004
glitch-token surface5,467 undertrained candidates, 1,703 plain-ASCII
Full measured fingerprint
architecturesLlamaForCausalLM
librarytransformers
pipelinetext-generation
repo files16 — pickle: pytorch_model-00001-of-00008.bin, pytorch_model-00002-of-00008.bin, pytorch_model-00003-of-00008.bin, pytorch_model-00004-of-00008.bin, pytorch_model-00005-of-00008.bin, pytorch_model-00006-of-00008.bin, pytorch_model-00007-of-00008.bin, pytorch_model-00008-of-00008.bin
revision7bd15d2d740a
HF snapshot14 downloads · 0 likes · updated 2025-05-20 · captured 2026-08-25
pickle auditpytorch_model-00001-of-00008.bin, pytorch_model-00002-of-00008.bin, pytorch_model-00003-of-00008.bin, pytorch_model-00004-of-00008.bin — 3 standard global(s)
embedding tensormodel.embed_tokens.weight · F16 · 102,400×4096
embedding normsmedian 11.7901 · mean 10.9632
lineage checkinconsistent — cosine -0.0036 over 58 sampled rows vs internlm/internlm2-math-base-7b
glitch-token samples"IconSuccessEncoded", "IconErrorEncoded", "orangehilldev", "EDIPU", "lemanya", "odeciclismo", "RecordedVote", "linkedExternalProjectPath", "sympad", "ExternalTaskPojo", "espany", "controlcap"
Battery runs (1)the run trace behind the findings — what each job measured
batterystatusqueueddurationattempts
weightscomplete2026-08-25 22:325m1
weights run 2026-08-25 — measurements
probes runglitch-norm-scan, zero-template-token-scan, pickle-static-analysis, lineage-norm-correlation
embedding tensormodel.embed_tokens.weight · F16 · 102,400×4096
glitch surface5,467 undertrained, 1,703 plain-ASCII
lineage checkinconsistent — cosine -0.0036 over 58 rows vs internlm/internlm2-math-base-7b

Verdict badge

Ship the verdict in your README — it always shows the latest published analysis:

Ingot verdict: warn

[![Ingot scan](https://ingot.tools/api/v1/models/purewhite42/rautoformalizer_ra_deepseek/badge.svg)](https://ingot.tools/models/purewhite42/rautoformalizer_ra_deepseek)
Gate it in CI