Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic. - Connor Hanley; Eilene Tomkins-Flanagan; Mary Alexandria Kelly (IJCNN, 2025)

Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination. - Eilene Tomkins-Flanagan; Connor Hanley; Mary Alexandria Kelly (CoRR, 2025)