Connor Hanley

Connor Hanley

He/They

PhD Student in Cognitive Science

Publications

You can also find my articles on my Google Scholar profile.

Journal Articles

Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination

Published in arXiv preprint arXiv:2510.16533, 2025

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).

Recommended citation: Tomkins-Flanagan, E., Hanley, C., & Kelly, M. A. (2025). "Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination." arXiv preprint arXiv:2510.16533.
Download Paper

Conference Papers

Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic

Published in 2025 International Joint Conference on Neural Networks (IJCNN), 2025

Using Frequency-domain Holographic Reduced Representations (FHRRs), we extend a Vector-Symbolic Architecture (VSA) encoding of Lisp 1.5 with primitives for arithmetic operations using Residue Hyperdimensional Computing (RHC).

Recommended citation: Hanley, C., Tomkins-Flanagan, E., & Kelly, M. A. (2025). "Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic." 2025 International Joint Conference on Neural Networks (IJCNN), 1-8.
Download Paper