Planium-4B is a 4B fine-tune of Qwen3.5 specialized in automated planning and its
standard notation, PDDL (Planning Domain Definition Language). It is built primarily for
robotics and other control systems.
In its 4-bit quantized build, it is small enough to run on an ordinary PC or an embedded board such
as an NVIDIA Jetson — no cloud API, nothing leaves your machine.
What it does
Classical planning in PDDL, largely limited to the :strips and :strips :typing fragments:
turning a plain-language request into PDDL — typically the :goal or the problem file for a
given domain,
reading and explaining an existing domain, problem or plan,
reasoning about states, preconditions, effects and goals,
spotting what is wrong in a piece of PDDL,
calling tools: it is trained to work in an agentic loop and to emit tool calls, so it can drive a
parser, a planner or a plan validator itself instead of only producing text.
Temporal planning, numeric fluents and the richer ADL constructs are much less well supported.
The fine-tuning also mitigates a failure mode of the base Qwen3.5 on these tasks: reasoning that
never terminates, or that drags on far longer than the problem warrants without getting closer to an
answer. Planium-4B keeps its reasoning short and commits to an answer.
Files
File
Description
model.safetensors-0000*-of-00002.safetensors
Full weights (bfloat16)
gguf/model.gguf
Quantized build for llama.cpp (Q4_K_M, ~2.8 GB)
Usage
llama.cpp
Download gguf/model.gguf and point llama-cli at it:
Planium-4B is the model behind NeuroPlan, a
neuro-symbolic planning system that bridges large language models and symbolic planners: it turns a
request into PDDL, hands it to the planner and runs the resulting plan.
