TensorRight: Automated Verification of Tensor Graph Rewrites
语言:Haskell · GitHub 星标:28 · Fork:2
在 GitHub 上查看原仓库