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

Open in new window