Sutra는 컴파일된 순방향 패스가 PyTorch 신경망인 타입 있는 순수 함수형 프로그래밍 언어예요.
제어 흐름, 문자열 I/O를 포함한 전체 프로그램을 고정된 임베딩 서브스트레이트 위에서 퓨즈된 텐서 연산 그래프로 베타-환원해요.
Kleene 연결은 {-1, 0, +1} 진리 격자에서 정확한 Lagrange 보간 다항식으로 낮춰져요.
같은 프로그램이 텍스트 인코더 3개와 단백질 언어 모델 1개를 포함한 4개의 고정된 임베딩에서 실행되며, 모든 서브스트레이트에서 폭 k=8에서 번들 해독 정확도가 100%예요.