… 1 To reduce the complexity of the encoder to meet the resource constraints of the execution environments, we impose an FFT-like structure and reduce the overall size and depth of the neural-network-based analysis transform . …
… Models & Code are fully open-sourced. …
… The byte-exact guarantee in GrepSeek is not meant to cover arbitrary shell programs. It is scoped to corpus-search pipelines whose behavior can be reconstructed exactly from shard-local execution. …
… Parallel decoding preserves the permutation invariance of logical disjunction ; an autoregressive decoder would instead impose an arbitrary clause order. Product T-norm relaxation makes rule execution differentiable, allowing end-to-end training on prediction accuracy alone. …
… All resources will be open sourced, including code, models, and datasets. …
… The Lie algebra u p,q consists of generators i· η-pseudo-Hermitian matrices ; in block form a generator is A,B , B†,D with A p×p , D q×q anti-Hermitian and B an arbitrary complex p×q block, giving real dimension p+q ². Caveat to encode in the spec: exp:u p,q →U p,q is not onto for fixed η. …