SemIf Beats Autoregressive JSON Decisions 5x Faster on Local Hardware
An independent project rebuilds TypeSafe's closed Jev decision service using open 4B models on a single RTX 3090, with published benchmarks.
- SemIf (formerly OpenJev) reproduces TypeSafe's Jev decision interface using frozen open models on a single 3090.
- Reads typed option logits directly in one forward pass; no JSON generation, no decode loop.
- 5.21x faster than autoregressive JSON on the same 21-criterion workload with matching answers on 18/21.
- Shared-state prefix caching plus parallel suffixes hits 20 decisions per second on a 777-decision fixture.
- Qwen3.5-4B scores 0.845 modal agreement versus Jev's 0.883 on a 102-row public subset.
- MIT licensed, with CUDA, CPU (llama.cpp GGUF), Apple Silicon MLX/MPS, and a WebGPU browser demo.
SemIf Turns Model Logits Into Typed Decisions
Many agent workflows use language models for bounded decisions: routing a ticket, retrying a tool, labeling content, or judging whether evidence supports a claim. SemIf, initially released as OpenJev, handles those operations by reading option scores directly from a model’s logits. The application receives a typed probability distribution without generating and parsing a JSON response.
Released under the MIT license, the independent project appeared within a day of TypeSafe launching Jev, its closed decision-model service. SemIf implements the same interface pattern with open checkpoints. TypeSafe’s model, training data, and calibration methods remain proprietary and are absent from the project. The repository has attracted roughly 4,000 GitHub stars and supports an RTX 3090, Apple Silicon, and CPU inference through llama.cpp.
A Decision API Built From Token Scores
For each decision, SemIf accepts a state, a question, and a finite set of typed options with descriptions. One model pass produces logits, the unnormalized scores assigned before token selection. SemIf extracts the scores associated with the declared option tokens, normalizes them into probabilities, and returns the distribution.
Direct scoring removes the token-by-token decoding loop, generated answer text, and JSON repair logic. Applications can select the highest-probability option, apply a confidence threshold, or pass the full distribution into later routing code.
Skip Decoding, Cut Latency
SemIf’s replay benchmark uses the same frozen Qwen3.5-4B checkpoint, input state, and 21 binary criteria on a single RTX 3090. The reported results compare direct option scoring with an autoregressive JSON array.
This story is for Pro members
You've reached the end of the free preview. Upgrade to AlphaSignal Pro to read the full article - and everything else behind the paywall.