Lgtm
Our paper on a hyperlogic for verifying sparse tensor programs in Coq (joint work with Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, and Saman Amarasinghe) will appear at PLDI’24. See you in Copenhagen in June!
Our paper on a hyperlogic for verifying sparse tensor programs in Coq (joint work with Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, and Saman Amarasinghe) will appear at PLDI’24. See you in Copenhagen in June!