Skip to content

Jev directory

SemIf

An independent baseline that reads typed option probabilities straight from a frozen Qwen3.5-4B's logits in one forward pass, reproducing Jev's interface pattern with open models rather than Jev's undisclosed model or training.
Stars
4.8k
Language
Python
License
MIT
Reading time
3 min
Published by
Community
Author
TheoLeeCJ
Last verified
Sep 2026

TheoLeeCJ/SemIf

User repository on GitHub

View on GitHub

Semantic ifs from open models, on a 3090 at home. Independent; not affiliated with Jev or TypeSafe.

Forks
357
Last pushed
Updated Sep 2026

Repo stats from the GitHub API, cached Oct 2026.Homepage

About this project

Semantic ifs from open models, on a 3090 at home. Independent project; not affiliated with Jev or TypeSafe. Wow! No waitlist. Run it in your browser today. Same frozen 4B model · same state · same 21 questions · measured separately, aligned at t=0 in the replay. Most agent decisions are small: route this, retry that, does the evidence support X? A chat model can answer them, but it spends time generating text that software immediately parses back into an if statement.

Quoted from the project's README. Read the full README.

Highlights

  • On one RTX 3090, direct typed logits answered 21 binary criteria in 1.023 s versus 5.332 s and 111 output tokens for an autoregressive JSON array.
  • Backends cover CUDA Torch, CPU llama.cpp from GGUF, and MLX or PyTorch MPS on Apple Silicon, with prompt hashes matching row for row.
  • A WebGPU browser demo runs MiniCPM5 2B and Qwen3.5 4B locally with no waitlist or install.
  • Shared mode prefills one long state once and branches it across many criteria in parallel.
  • The fixture, exact runner commands, row-level outputs, model revisions, and known failures are committed for audit.

Quickstart

bash
python -m venv .venv
. .venv/bin/activate
pip install -e '.[test]'
CUDA_VISIBLE_DEVICES=0 semif-score --mode direct --model Qwen/Qwen3.5-4B --input examples/decisions.jsonl --output results.jsonl

Watch out

MIT-licensed. Not affiliated with TypeSafe; needs Python 3.10+ and a CUDA GPU holding a 4B BF16 model (or a local GGUF for the CPU backend), weights are not included, and scores depend on the quantized weights.

Questions about this entry

Short answers drawn from the linked project or page.

Reactions & coverage

Posts, threads, and videos about this entry from around the web.

X: Standard One SH (StandardThinking)

LinkedIn: What multimodal decision models actually change, and what they do not.

LinkedInJevDirectory.org

Hacker News: Pointer to a DiffusionGemma plus vLLM tutorial for a Jev-shaped classifier.

1 pointHow to build a Jev-style classifier with DiffusionGemma and vLLMRead the thread on Hacker News

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.

Follow @typesafeai