TY  - RPRT
TI  - Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination
AU  - Eilene Tomkins-Flanagan
AU  - Connor Hanley
AU  - Mary A. Kelly
PY  - 2025
UR  - https://arxiv.org/abs/2510.16533
ID  - 2510.16533
ER  -