It's All Just Vectorization: einx, a Universal Notation for Tensor Operations
arXiv:2607. 27987v1 Announce Type: new Abstract: Tensor operations represent a cornerstone of modern scientific computing.
arXiv:2409. 17502v2 Announce Type: replace Abstract: Broadcast operations are widely used in scientific computing libraries, yet their mathematical formulation is often implicit and inconsistently represented in machine learning literature.
arXiv:2607. 27987v1 Announce Type: new Abstract: Tensor operations represent a cornerstone of modern scientific computing.
arXiv:2607. 15916v1 Announce Type: new Abstract: Central to machine learning and signal processing is the ability to perform universal function approximation and learn complex input-output relationships from limited numbers of observations.
arXiv:2606. 31061v1 Announce Type: cross Abstract: Tensor Train (TT) decomposition is a powerful technique for analyzing high-dimensional data.
arXiv:2607. 07857v1 Announce Type: cross Abstract: We build a team of specialized large language-model agents and present an agent-driven workflow for research-level formalization in theoretical physics, with the autoformalization of the fundamental theorem of matrix-product states as a demonstration.
arXiv:2604. 07242v3 Announce Type: replace Abstract: Despite deep learning models running well-defined mathematical functions, we lack a formal mathematical framework for describing model architectures.
arXiv:2603. 08630v2 Announce Type: replace Abstract: We derive integral formulas that simplify the Vector Signal Tensor Product recently introduced by Xie et al.
arXiv:2608.21234v1 Announce Type: cross Abstract: These lecture notes form the first part of a master's-level course on advanced numerical linear algebra. Their aim is not only to present the classic...
arXiv:2608. 17135v1 Announce Type: cross Abstract: Tensor networks are powerful formats for compressing large-scale data.
The paper introduces a typed tensor language designed for shared-state federated computations, distinguishing between client-partitioned data and globally available values through two tensor sorts. It demonstrates that typed one-round programs factor through shared tensors whose shapes are program-dependent but client-independent, and extends this construction to multi-round programs with persistent shared state. The language supports server-side first-order updates, curvature-block updates, and covers federated analytics and FedSGD, while excluding more complex schemes like multi-local-step FedAvg and persistent private client state.
Common first-order optimizers, such as Adam, implicitly treat each parameter block as an unstructured vector, which disregards the multilinear weight structure present in many modern machine learning models. Recent work has shown that exploiting matrix structure can improve optimization dynamics.
arXiv:2603.02720v2 Announce Type: replace Abstract: Recently, tensor decompositions have attracted increasing attention. Fundamentally, different interactions among factors induce distinct tensor dec...
arXiv:2606. 25975v1 Announce Type: new Abstract: Common first-order optimizers, such as Adam, implicitly treat each parameter block as an unstructured vector, which disregards the multilinear weight structure present in many modern machine learning models.