Article
CommunityJev Models & Reimplementations
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
arXiv paper on a small candidate formalizer trained on offline teacher-generated lists that builds explicit, validated alternatives from task context for a frozen decision model, evaluated on CALVIN-D episodes and annotations.
- Format
- Article
- Reading time
- 2 min
- Published by
- Community
- Added
- Oct 2026
Highlights
- A small formalizer constructs explicit, validated alternatives from task context for a frozen decision model.
- On 200 CALVIN-D test episodes, Jev-1.13.0 scores 11% with generic motions versus 46.5% with DeepSeek V4 Flash pose candidates.
- A six-arm privileged-state evaluation covers 1,011 CALVIN-D validation annotations.
- A locally deployed decision model reaches at most 52.6% success with the fine-tuned formalizer versus 11.8% without it.
- End-to-end latency is kept to 2.09 s, compared with 3.67 s for Qwen3.5-27B in the same setting.
Questions about this entry
Short answers drawn from the linked project or page.
Decision models offer fast choices over supplied alternatives, while general-purpose language models interpret open-ended tasks through generation and reasoning at the cost of sequential decoding. Many workloads expect a generative backend to decide what can be done and provide no well-defined candidate list.
It is a small formalizer trained on offline teacher-generated lists. It constructs explicit, validated alternatives from task context, and a frozen decision model then selects an entry.
On 200 CALVIN-D test episodes, official TypeSafe Jev-1.13.0 reports 11% success with generic motions, versus 46.5% when DeepSeek V4 Flash pose candidates are supplied.
Across 1,011 CALVIN-D validation annotations, a locally deployed decision model achieves at most 52.6% task success rate with the fine-tuned formalizer, compared with 11.8% without it.
End-to-end latency is kept to 2.09 s, whereas Qwen3.5-27B takes 3.67 s under the exact experiment setting.
The described pipeline keeps the decision model frozen and selects an entry from the formalizer's alternatives; the formalizer is the component trained on offline teacher-generated lists.
The reported ceiling is 52.6% task success with the fine-tuned formalizer on the privileged-state evaluation, so workloads whose alternatives cannot be validated from task context still fall short of the generative baseline's flexibility.
From the Jev guides
Original write-ups on what this entry is for.
From the Jev AI model community
Posts from builders shipping with Jev right now.