3 papers
cs.LG2025
Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic
Connor Hanley, Eilene Tomkins-Flanaganm, Mary Alexandria Kelly
Using Frequency-domain Holographic Reduced Representations (FHRRs), we extend a Vector-Symbolic Architecture (VSA) encoding of Lisp 1.5 with primitives for arithmetic operations us…
cs.PL2025
Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
Eilene Tomkins-Flanagan, Mary A. Kelly
Kanerva (2014) suggested that it would be possible to construct a complete Lisp out of a vector-symbolic architecture. We present the general form of a vector-symbolic representati…
cs.AI2025
Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination
Eilene Tomkins-Flanagan, Connor Hanley, Mary A. Kelly
We present a typed computer language, Doug, in which all typed programs may be proved to halt in polynomial time, encoded in a vector-symbolic architecture (VSA). Doug is just an e…