Searching protocol for "hasktorch"
Type-safe tensors and verified ML in Haskell.
Type-safe Haskell deep learning with tensors.