Skip to page content
SAVRN
Search Plan a project

Open-weight model · Text generation

igsm-trace-validity

by Ratish Puduppully ratishsp/igsm-trace-validity

igsm-trace-validity is an open-weight model for text generation from Ratish Puduppully, released under MIT License. Its published files total 8.4 GB.

The models of Correct Answers, Invalid Traces: What Verifiable Grade-School Math Reveals About Chain-of-Thought Traces (Puduppully, Misra, Iyer, Kalwar, Palod and Kambhampati, 2026).

Parameters—
Context—
Weights8.4 GB
Licensemit
AccessOpen weights
Monthly Downloads—

Model Card

By Ratish Puduppully, published under mit, revision 8b04096f7e7b.

The models of Correct Answers, Invalid Traces: What Verifiable Grade-School Math Reveals About Chain-of-Thought Traces (Puduppully, Misra, Iyer, Kalwar, Palod and Kambhampati, 2026). Each is a 12-layer GPT-NeoX model (124M parameters) trained from scratch on iGSM for 100k steps at batch 512. They differ only in the trace that followed the problem during training. Code and the evaluation protocol are at https://github.com/ratishsp/igsm-trace-validity. The tokenizer is GPT-2's, with iGSM's special tokens 222, 223 and 224 for [PROB], [SOL] and [ANS]. evaluate.py in the code repository runs the paper's evaluation on any of these folders.

Read Ratish Puduppully's full model card

Correct Answers, Invalid Traces

The models of Correct Answers, Invalid Traces: What Verifiable Grade-School Math Reveals About Chain-of-Thought Traces (Puduppully, Misra, Iyer, Kalwar, Palod and Kambhampati, 2026). Each is a 12-layer GPT-NeoX model (124M parameters) trained from scratch on iGSM for 100k steps at batch 512. They differ only in the trace that followed the problem during training. Code and the evaluation protocol are at https://github.com/ratishsp/igsm-trace-validity.

folder training trace
clean-run-a minimal valid trace (the paper's main model)
clean-run-b the same recipe, second run
clean-run-c-200k the same recipe, 200k steps
swapped trace of a different problem
swapped-op-matched trace of a different problem with the same op count
shuffled-10, -30, -50, -75, -100 the first 10 to 100 percent of the trace's tokens shuffled
no-trace answer only
non-minimal valid trace with unnecessary steps
non-minimal-90 non-minimal for 90 percent of problems, minimal otherwise
seed43/* seed-43 replicates of swapped, swapped-op-matched, shuffled-30 and non-minimal
from transformers import GPTNeoXForCausalLM
model = GPTNeoXForCausalLM.from_pretrained("ratishsp/igsm-trace-validity", subfolder="clean-run-a")

The tokenizer is GPT-2's, with iGSM's special tokens 222, 223 and 224 for [PROB], [SOL] and [ANS]. evaluate.py in the code repository runs the paper's evaluation on any of these folders.

Citation

@article{puduppully2026correct,
  title   = {Correct Answers, Invalid Traces: What Verifiable Grade-School Math Reveals About Chain-of-Thought Traces},
  author  = {Puduppully, Ratish and Misra, Pranabendu and Iyer, Paarth and Kalwar, Durgesh and Palod, Vardhan and Kambhampati, Subbarao},
  journal = {arXiv preprint},
  year    = {2026}
}

Identity and Version

Repository
ratishsp/igsm-trace-validity
Publisher
Ratish Puduppully
Task
Text generation
Modality
Text
Library
transformers
Parameters
Not stated by the source
Languages
Not stated by the source
Revision
8b04096f7e7b280b6eed4c152fcfa249357201da
First published
2026-09-29
Last updated
2026-09-29

Files and Weights

53 files, 8.4 GB in total. The weights are 17 files totalling 8.4 GB in safetensors.

Weights17 files · 8.4 GB
Configuration34 files · 14.6 KB
Documentation1 file · 2.0 KB
Repository1 file · 1.5 KB
Every file
FileTypeSizeSHA-256
clean-run-a/model.safetensorsWeights494.6 MB b644af034089
clean-run-b/model.safetensorsWeights494.6 MB dfccb3a7f83c
clean-run-c-200k/model.safetensorsWeights494.6 MB 359c3c632996
no-trace/model.safetensorsWeights494.6 MB 22f5b2107c83
non-minimal-90/model.safetensorsWeights494.6 MB 671b7c549ef7
non-minimal/model.safetensorsWeights494.6 MB ade0692d0378
seed43/non-minimal/model.safetensorsWeights494.6 MB 91f73e2f9a9c
seed43/shuffled-30/model.safetensorsWeights494.6 MB 3c1f8e120054
seed43/swapped-op-matched/model.safetensorsWeights494.6 MB d1e542884ef8
seed43/swapped/model.safetensorsWeights494.6 MB 30abd75c4859
shuffled-10/model.safetensorsWeights494.6 MB 285a84bfee3c
shuffled-100/model.safetensorsWeights494.6 MB dfc815724727
shuffled-30/model.safetensorsWeights494.6 MB e9cd70db61df
shuffled-50/model.safetensorsWeights494.6 MB b0794616b93d
shuffled-75/model.safetensorsWeights494.6 MB 08ab3ed5c684
swapped-op-matched/model.safetensorsWeights494.6 MB 145d98880c52
swapped/model.safetensorsWeights494.6 MB 53e411e12d65
clean-run-a/config.jsonConfiguration749 B —
clean-run-a/generation_config.jsonConfiguration111 B —
clean-run-b/config.jsonConfiguration749 B —
clean-run-b/generation_config.jsonConfiguration111 B —
clean-run-c-200k/config.jsonConfiguration749 B —
clean-run-c-200k/generation_config.jsonConfiguration111 B —
no-trace/config.jsonConfiguration749 B —
no-trace/generation_config.jsonConfiguration111 B —
non-minimal-90/config.jsonConfiguration749 B —
non-minimal-90/generation_config.jsonConfiguration111 B —
non-minimal/config.jsonConfiguration749 B —
non-minimal/generation_config.jsonConfiguration111 B —
seed43/non-minimal/config.jsonConfiguration749 B —
seed43/non-minimal/generation_config.jsonConfiguration111 B —
seed43/shuffled-30/config.jsonConfiguration749 B —
seed43/shuffled-30/generation_config.jsonConfiguration111 B —
seed43/swapped-op-matched/config.jsonConfiguration749 B —
seed43/swapped-op-matched/generation_config.jsonConfiguration111 B —
seed43/swapped/config.jsonConfiguration749 B —
seed43/swapped/generation_config.jsonConfiguration111 B —
shuffled-10/config.jsonConfiguration749 B —
shuffled-10/generation_config.jsonConfiguration111 B —
shuffled-100/config.jsonConfiguration749 B —
shuffled-100/generation_config.jsonConfiguration111 B —
shuffled-30/config.jsonConfiguration749 B —
shuffled-30/generation_config.jsonConfiguration111 B —
shuffled-50/config.jsonConfiguration749 B —
shuffled-50/generation_config.jsonConfiguration111 B —
shuffled-75/config.jsonConfiguration749 B —
shuffled-75/generation_config.jsonConfiguration111 B —
swapped-op-matched/config.jsonConfiguration749 B —
swapped-op-matched/generation_config.jsonConfiguration111 B —
swapped/config.jsonConfiguration749 B —
swapped/generation_config.jsonConfiguration111 B —
README.mdDocumentation2.0 KB —
.gitattributesRepository1.5 KB —

License and Download

License
mit
Access
Open weights, no gate
Download size
8.4 GB
Download from Ratish Puduppully

Released by Ratish Puduppully through its official repository on Hugging Face. Read the license.

Memory Requirements

PrecisionWeights in memory
As published8.4 GB

Weights only, from the published parameter count; the key-value cache and runtime add to this.

Questions About igsm-trace-validity

Can I use igsm-trace-validity commercially?

Yes. igsm-trace-validity is released under MIT License. The MIT License is a short permissive license. It permits commercial use, modification and redistribution, provided the copyright notice and permission notice are included.

Similar Models

Model · Text generation

opt-125m

AI at Meta

OPT was first introduced in Open Pre-trained Transformer Language Models and first released in metaseq's repository on May 3rd 2022 by Meta AI. Disclaimer: The team releasing OPT wrote an official model card, which is available in Appendix D of the paper. Content from this model card has been written by the Hugging Face team. To quote the first two paragraphs of the official paper OPT was predominantly pretrained with English text, but a small amount of non-English data is still present within the training corpus via CommonCrawl. The model was pretrained using a causal language modeling (CLM) objective. OPT belongs to the same family of decoder-only models like GPT-3. As such, it was…

Open weights other 2,048 tokens transformers

Model · Text generation

Ornith-1.5-9B-GGUF

Ornith

Chirp Chirp! We are introducing Ornith-1.5, a major step toward building foundation models through end-to-end self-improvement. Ornith-1.5 extends Ornith-1.0 (which was developed on top of Qwen3.5 and Gemma4 with additional continued pretraining, mid-training, and post-training) by expanding the self-improvement loop from scaffold and rollout optimization to jointly optimizing task generation, scaffold construction, and solution rollouts. Rather than relying on a fixed set of human-curated tasks and manually designed harnesses, Ornith-1.5 continuously generates new training tasks, discovers effective strategies for solving them, and improves the policy through reinforcement learning. For…

Open weights mit transformers

Model · Text generation

Ternary-Bonsai-2-27B-gguf

Prism ML

Full 27B-class reasoning in ternary transformer weights, for llama.cpp (CUDA, Metal, CPU) - \~5.9 GB language model (down from \~54 GB FP16) — full 27B-class reasoning on a standard laptop or a single GPU - 98.2% of FP16 intelligence retained: 84.78 average across 14 thinking-mode benchmarks — far above the conventional IQ2XXS build (72.59) at about 82% of its footprint, and within 0.4 points of UD-Q4KXL at three times the footprint - Retains thinking, reasoning, and agentic behavior deep in the sub-4-bit regime, where conventional low-bit representations collapse: math within half a point of full precision (96.57), coding level with the baseline (89.42), agentic tool calling at 74.92…

Open weights apache-2.0 llama.cpp

Model · Text generation

Ornith-1.5-35B-A3B-GGUF

Ornith

Chirp Chirp! We are introducing Ornith-1.5, a major step toward building foundation models through end-to-end self-improvement. Ornith-1.5 extends Ornith-1.0 (which was developed on top of Qwen3.5 and Gemma4 with additional continued pretraining, mid-training, and post-training) by expanding the self-improvement loop from scaffold and rollout optimization to jointly optimizing task generation, scaffold construction, and solution rollouts. Rather than relying on a fixed set of human-curated tasks and manually designed harnesses, Ornith-1.5 continuously generates new training tasks, discovers effective strategies for solving them, and improves the policy through reinforcement learning. For…

Open weights mit transformers

Uncensored Qwen3.8-27B, published as GGUF quantizations with the multi token prediction (MTP) head retained and verified. Refusal behaviour has been substantially reduced, not eliminated. See Measured behaviour for the numbers. Capabilities, training data, and architecture are otherwise unchanged. - Refusal directions removed with Heretic, which co minimizes refusal count against KL divergence from the base model. No handwritten refusal removal code, no finetuning, no additional training data. - Abliteration runs at bf16 (no 4 bit quantization). the resulting LoRA is merged into the bf16 base, so the published weights are not a quantized round trip. - mtp. tensors are copied verbatim from…

Open weights apache-2.0 llama.cpp

Model · Text generation

Ornith-1.0-9B-GGUF

Ornith

Aloha! Today, we are releasing Ornith-1.0, a self-improving family of open-source models for agentic coding. This model card documents Ornith-1.0-9B, the most lightweight member of the Ornith family, designed for efficient single-GPU deployment. Ornith-1.0-9B is a dense ~9B model (≈19 GB in bf16), so it serves comfortably on a single 80GB GPU. The recipes below stand up an OpenAI-compatible server; add --tensor-parallel-size / --tp if you want to shard across more GPUs. For a quick local test (or to script offline generation), load the model directly with Transformers. Make sure you have a recent release installed — see the Transformers installation guide; Ornith-1.0-9B requires…

Open weights mit transformers