WG211/M26Shan: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 October 2026

  • curprev 11:2911:29, 5 October 2026 Jeremy-y talk contribs 1,073 bytes +1,073 Created page with "'''Formalizing einsum with named tensor notation''' ''Yafei Yang and Chung-chieh Shan'', Indiana University Einstein notation (einsum) is a widely adopted tensor operation that has proven useful in areas such as machine learning and quantum computing. But it had no formal semantics until recently, and its properties had no mechanized verification. We formalize the denotational semantics of a language of tensors (multi-dimensional arrays) that supports einsum and repeat..." Tag: Visual edit
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M26Shan"