中文
相关论文

相关论文: EinDecomp: Decomposition of Declaratively-Specifie…

200 篇论文

The unification of neural and symbolic approaches to artificial intelligence remains a central open challenge. In this work, we introduce a tensor network formalism, which captures sparsity principles originating in the different approaches…

人工智能 · 计算机科学 2026-01-23 Alex Goessmann , Janina Schütte , Maximilian Fröhlich , Martin Eigel

We consider the question: what is the abstraction that should be implemented by the computational engine of a machine learning system? Current machine learning systems typically push whole tensors through a series of compute kernels such as…

数据库 · 计算机科学 2021-08-10 Binhang Yuan , Dimitrije Jankov , Jia Zou , Yuxin Tang , Daniel Bourgeois , Chris Jermaine

Tensor programs often need to process large tensors (vectors, matrices, or higher order tensors) that require a specialized storage format for their memory layout. Several such layouts have been proposed in the literature, such as the…

数据库 · 计算机科学 2022-10-13 Maximilian Schleich , Amir Shaikhha , Dan Suciu

In this paper, we consider the completely positive tensor decomposition problem with ideal-sparsity. First, we propose an algorithm to generate the maximal cliques of multi-hypergraphs associated with completely positive tensors. This also…

最优化与控制 · 数学 2025-05-22 Pengfei Huang , Minru Bai

The unification of symbolic reasoning and neural networks remains a central challenge in artificial intelligence. Symbolic systems offer reliability and interpretability but lack scalability, while neural networks provide learning…

人工智能 · 计算机科学 2026-01-27 Swapn Shah , Wlodek Zadrozny

In this paper, we propose a method for importing tensor index notation, including Einstein summation notation, into functional programming. This method involves introducing two types of parameters, i.e, scalar and tensor parameters, and…

编程语言 · 计算机科学 2018-08-31 Satoshi Egi

The general linear model is a universally accepted method to conduct and test multiple linear regression models. Using this model one has the ability to simultaneously regress covariates among different groups of data. Moreover, there are…

统计方法学 · 统计学 2024-10-15 Gavin T. Kress

In past few decades, tensor algebra also known as multi-linear algebra has been developed and customized as a tool to be used for various engineering applications. In particular, with the help of a special form of tensor contracted product,…

系统与控制 · 电气工程与系统科学 2024-01-01 Divyanshu Pandey , Adithya Venugopal , Harry Leib

Compressed sensing extends from the recovery of sparse vectors from undersampled measurements via efficient algorithms to the recovery of matrices of low rank from incomplete information. Here we consider a further extension to the…

数值分析 · 数学 2014-11-04 Holger Rauhut , Reinhold Schneider , Zeljka Stojanac

A tensor network is a diagram that specifies a way to "multiply" a collection of tensors together to produce another tensor (or matrix). Many existing algorithms for tensor problems (such as tensor decomposition and tensor PCA), although…

数据结构与算法 · 计算机科学 2018-11-05 Ankur Moitra , Alexander S. Wein

Decompositions of tensors into factor matrices, which interact through a core tensor, have found numerous applications in signal processing and machine learning. A more general tensor model which represents data as an ordered network of…

数值分析 · 计算机科学 2016-09-30 Anh-Huy Phan , Andrzej Cichocki , Andre Uschmajew , Petr Tichavsky , George Luta , Danilo Mandic

We propose a new numerical algorithm for computing the tensor rank decomposition or canonical polyadic decomposition of higher-order tensors subject to a rank and genericity constraint. Reformulating this computational problem as a system…

数值分析 · 数学 2024-07-02 Simon Telen , Nick Vannieuwenhoven

Tensor networks provide compact and scalable representations of high-dimensional data, enabling efficient computation in fields such as quantum physics, numerical partial differential equations (PDEs), and machine learning. This paper…

数值分析 · 数学 2025-08-28 Julia Wei , Alec Dektor , Chungen Shen , Zaiwen Wen , Chao Yang

We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data…

编程语言 · 计算机科学 2016-11-24 Grigory Fedyukovich , Rastislav Bodík

Machine learning and data mining algorithms are becoming increasingly important in analyzing large volume, multi-relational and multi--modal datasets, which are often conveniently represented as multiway arrays or tensors. It is therefore…

数值分析 · 计算机科学 2017-09-12 A. Cichocki , N. Lee , I. V. Oseledets , A. -H. Phan , Q. Zhao , D. Mandic

Producing large complex simulation datasets can often be a time and resource consuming task. Especially when these experiments are very expensive, it is becoming more reasonable to generate synthetic data for downstream tasks. Recently,…

机器学习 · 计算机科学 2025-08-28 Paimon Goulart , Shaan Pakala , Evangelos Papalexakis

Higher-order tensors are becoming prevalent in many scientific areas such as computer vision, social network analysis, data mining and neuroscience. Traditional tensor decomposition approaches face three major challenges: model selecting,…

数值分析 · 计算机科学 2014-07-08 Fanhua Shang , Yuanyuan Liu , James Cheng

High-performance deep learning depends on efficient tensor programs. In recent years, automatic tensor program optimization, also known as tensor compilation, has emerged as the primary approach to generating efficient tensor programs.…

分布式、并行与集群计算 · 计算机科学 2025-02-18 Hangda Liu , Boyu Diao , Yu Yang , Wenxin Chen , Xiaohui Peng , Yongjun Xu

Tensor completion is a technique of filling missing elements of the incomplete data tensors. It being actively studied based on the convex optimization scheme such as nuclear-norm minimization. When given data tensors include some noises,…

计算机视觉与模式识别 · 计算机科学 2018-01-11 Tatsuya Yokota , Hidekata Hontani

Parallel tensor network contraction algorithms have emerged as the pivotal benchmarks for assessing the classical limits of computation, exemplified by Google's demonstration of quantum supremacy through random circuit sampling. However,…

信息论 · 计算机科学 2024-05-24 Jin Lee , Sofia Gonzalez-Garcia , Zheng Zhang , Haewon Jeong