Sfeir는 형식화된 결정을 결정론적 커널에 위임하여 4B 모델이 사용 가능한 Python 애플리케이션을 생성할 수 있도록 하는 오픈소스 실험적 코드 생성 시스템인 Esus를 출시했습니다.
- 아키텍처는 책임을 분할합니다: LLM은 명세를 해석하고 의미론적 추론을 처리하는 반면, 결정론적 커널은 구조를 구축하고 예측 가능한 코드를 렌더링하며 구성 요소를 연결하고 불변식을 검증합니다.
- 이 접근 방식은 소형 모델이 대형 모델을 모방하는 것에서 모델에 필요한 최소 의사 결정 부하를 결정하는 것으로 초점을 이동시킵니다.
- 프로젝트에는 공개된 아키텍처 세부 사항, 실험 및 벤치마크 결과가 포함되어 있습니다.
이 시스템은 확률적 요소를 추론 작업으로 제한하고 결정론적 코드 생성을 통해 구조적 무결성을 보장하여 신뢰성을 향상시키는 것을 목표로 합니다.