Sfeir发布了Esus，这是一个开源实验性代码生成系统，它允许4B模型通过将形式化决策委托给确定性内核来生成可用的Python应用程序。

  • 架构职责分离：LLM解释规范并处理语义推理，而确定性内核构建结构、渲染可预测的代码、连接组件并验证不变量。
  • 这种方法将重点从让小型模型模仿大型模型转移到确定模型所需的最小决策负载。
  • 该项目包括已发布的架构细节、实验和基准测试结果。

该系统旨在通过将概率元素限制在推理任务中，并通过确定性代码生成确保结构完整性来提高可靠性。