Sfeir telah merilis Esus, sebuah sistem generasi kode eksperimental sumber terbuka yang memungkinkan model 4B menghasilkan aplikasi Python yang dapat digunakan dengan mendelegasikan keputusan terformalisasi ke kernel deterministik.
- Arsitektur membagi tanggung jawab: LLM menginterpretasi spesifikasi dan menangani penalaran semantik, sementara kernel deterministik membangun struktur, merender kode yang dapat diprediksi, menghubungkan komponen, dan memvalidasi invarian.
- Pendekatan ini mengalihkan fokus dari membuat model kecil meniru model besar ke menentukan beban pengambilan keputusan minimum yang diperlukan untuk model.
- Proyek ini mencakup detail arsitektur yang diterbitkan, eksperimen, dan hasil benchmark.
Sistem ini bertujuan meningkatkan keandalan dengan membatasi elemen probabilistik hanya pada tugas penalaran sambil memastikan integritas struktural melalui generasi kode deterministik.