##article.return## Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination Download Download PDF