Model page

internlm/internlm2_5-step-prover warn

Weights only ship in a format that can run code when loaded; loading it runs custom code from the repo; Chat template ends turns with <|im_end|>, which is not a configured stop token. Plus 1 more issue.

downloads 108likes 5license otherarch internlm2updated 2024-10-22

chat template: present · 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-2692,544-token embedding scanned · 2392 undertrained · 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 Repo ships executable Python (trust_remote_code)

The repository contains custom code files that run in-process when loaded with trust_remote_code=True. Pin the revision hash and review the code before loading.

How to fix

Review and pin the custom code; never float on `main` with trust_remote_code=True.

  1. Read every `.py` file in the repo before first load — this code runs in your process.
  2. Pin the revision: `from_pretrained(model_id, revision="<commit sha>", trust_remote_code=True)` so a later push can't swap the code under you.
  3. Prefer a version of the architecture already in `transformers` if one exists, which removes the remote-code requirement entirely.

low Padding token is the EOS token

The pad token and the (only) EOS token are the same. Fine-tuning frameworks mask pad positions out of the loss, so training on this checkpoint teaches the model to never emit EOS — the Phi-4 / Qwen 2.5 / DeepSeek R1 infinite-generation bug. Safe to serve, hazardous to fine-tune; repoint pad_token at a dedicated token first.

How to fixingot patch

Align the stop-token declarations — a pure metadata fix to `generation_config.json` (and `config.json`).

  1. Identify the token the chat template actually ends assistant turns with (e.g. `<|eot_id|>`, `<end_of_turn>`, `<|im_end|>`) and make sure its id is in `generation_config.json`'s `eos_token_id` list.
  2. Keep `config.json`'s `eos_token_id` consistent with (or a subset of) `generation_config.json`'s — runtimes differ in which file they read.
  3. For the pad-equals-EOS hazard: repoint `pad_token` at a dedicated padding token before fine-tuning; serving is unaffected.
  4. Until the repo is fixed, pass explicit stop tokens to your serving stack (e.g. vLLM `stop_token_ids`, llama.cpp `--override-kv tokenizer.ggml.eos_token_id`).

medium Chat template ends turns with <|im_end|>, which is not a configured stop token

The chat template terminates assistant turns with <|im_end|>, but the effective EOS set (config.json ∪ generation_config.json = [2] → ["</s>"]) never stops on it. Config-honoring runtimes generate past the terminator until the token budget is exhausted — runaway cost and self-continuing fake turns. Add <|im_end|>'s id to generation_config.json's eos_token_id.

How to fixingot patch

Align the stop-token declarations — a pure metadata fix to `generation_config.json` (and `config.json`).

  1. Identify the token the chat template actually ends assistant turns with (e.g. `<|eot_id|>`, `<end_of_turn>`, `<|im_end|>`) and make sure its id is in `generation_config.json`'s `eos_token_id` list.
  2. Keep `config.json`'s `eos_token_id` consistent with (or a subset of) `generation_config.json`'s — runtimes differ in which file they read.
  3. For the pad-equals-EOS hazard: repoint `pad_token` at a dedicated padding token before fine-tuning; serving is unaffected.
  4. Until the repo is fixed, pass explicit stop tokens to your serving stack (e.g. vLLM `stop_token_ids`, llama.cpp `--override-kv tokenizer.ggml.eos_token_id`).

medium Undertrained (glitch) token surface in vocabulary

Embedding-norm scan flagged 2392 undertrained tokens (norm < 0.3× the vocabulary median of 1.279), including 750 plain-ASCII strings that can appear in ordinary input as identifiers — e.g. "[UNUSED_TOKEN_134]", "[UNUSED_TOKEN_137]", "[UNUSED_TOKEN_62]", "[UNUSED_TOKEN_94]", "[UNUSED_TOKEN_48]", "[UNUSED_TOKEN_22]", "[UNUSED_TOKEN_100]", "[UNUSED_TOKEN_114]". 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.

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 internlm/internlm2_5-step-prover

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.

architectureinternlm2 · 32 layers · 4096-dim
vocabulary92,544 tokens
licenseother
serializationno safetensors pickle custom code
chat templatepresent · sha256:49aa7cb516942cc5
glitch-token surface2,392 undertrained candidates, 750 plain-ASCII
Full measured fingerprint
architecturesInternLM2ForCausalLM
pipelinetext-generation
repo files21 — 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
revision9cb19fbd40b4
HF snapshot108 downloads · 5 likes · updated 2024-10-22 · 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.bin3 standard global(s)
embedding tensormodel.tok_embeddings.weight · F16 · 92,544×4096
embedding normsmedian 1.2786 · mean 1.1616
lineage checkno claimed base model
glitch-token samples"[UNUSED_TOKEN_134]", "[UNUSED_TOKEN_137]", "[UNUSED_TOKEN_62]", "[UNUSED_TOKEN_94]", "[UNUSED_TOKEN_48]", "[UNUSED_TOKEN_22]", "[UNUSED_TOKEN_100]", "[UNUSED_TOKEN_114]", "[UNUSED_TOKEN_31]", "[UNUSED_TOKEN_117]", "[UNUSED_TOKEN_132]", "[UNUSED_TOKEN_139]"
Battery runs (1)the run trace behind the findings — what each job measured
batterystatusqueueddurationattempts
weightscomplete2026-08-25 21:533m1
weights run 2026-08-25 measurements
probes runglitch-norm-scan, zero-template-token-scan, pickle-static-analysis, lineage-norm-correlation
embedding tensormodel.tok_embeddings.weight · F16 · 92,544×4096
glitch surface2,392 undertrained, 750 plain-ASCII
lineage checknot checked (no claimed base model)

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/internlm/internlm2_5-step-prover/badge.svg)](https://ingot.tools/models/internlm/internlm2_5-step-prover)
Gate it in CI