Model checkpoints for the
SoRL Arithmetic Interpretability Study
.
Small Qwen3 transformers (3L/4H/512d, ~168M params) trained from scratch on integer
addition and subtraction, with and without SoRL abstraction tokens.
Goal
Show that SoRL externalizes arithmetic reasoning mechanisms (carry, borrow circuits)
as explicit abstraction tokens — observable and intervenable without activation-level tooling.
Architecture
Tiny Qwen3 from random init via
SorlModelWrapper.from_scratch
:
arithmetic-sorl huggingface.co is an AI model on huggingface.co that provides arithmetic-sorl's model effect (), which can be used instantly with this thoughtworks arithmetic-sorl model. huggingface.co supports a free trial of the arithmetic-sorl model, and also provides paid use of the arithmetic-sorl. Support call arithmetic-sorl model through api, including Node.js, Python, http.
arithmetic-sorl huggingface.co is an online trial and call api platform, which integrates arithmetic-sorl's modeling effects, including api services, and provides a free online trial of arithmetic-sorl, you can try arithmetic-sorl online for free by clicking the link below.
thoughtworks arithmetic-sorl online free url in huggingface.co:
arithmetic-sorl is an open source model from GitHub that offers a free installation service, and any user can find arithmetic-sorl on GitHub to install. At the same time, huggingface.co provides the effect of arithmetic-sorl install, users can directly use arithmetic-sorl installed effect in huggingface.co for debugging and trial. It also supports api for free installation.