Sfeir has released Esus, an open-source experimental code-generation system that enables a 4B model to generate usable Python applications by delegating formalized decisions to a deterministic kernel.

  • The architecture splits responsibilities: the LLM interprets specifications and handles semantic reasoning, while the deterministic kernel builds structure, renders predictable code, wires components, and validates invariants.
  • This approach shifts the focus from making small models mimic larger ones to determining the minimum necessary decision-making load for the model.
  • The project includes published architecture details, experiments, and benchmark results.

The system aims to improve reliability by keeping probabilistic elements limited to reasoning tasks while ensuring structural integrity through deterministic code generation.