2605.02182 Sutra: A Programming Language for Vector-Symbolic Computation in Frozen Embedding Spaces
Frozen general-purpose language-model embedding spaces encode relational structure as vector arithmetic — a property established across the knowledge-graph-embedding literature (TransE, RotatE, the word-analogy line). Taking that as given, this paper presents the design and implementation of **Sutra**, a typed, purely functional programming language whose compile target is a single tensor-op graph over a frozen LLM embedding substrate.