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.
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.
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA
Talk at London School of Testing, London, UK
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA
Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA