2 papers
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…