中文
相关论文

相关论文: Parallel Weighted Model Counting with Tensor Netwo…

200 篇论文

GPU-based HPC clusters are attracting more scientific application developers due to their extensive parallelism and energy efficiency. In order to achieve portability among a variety of multi/many core architectures, a popular choice for an…

分布式、并行与集群计算 · 计算机科学 2023-04-10 Ali TehraniJamsaz , Alok Mishra , Akash Dutta , Abid M. Malik , Barbara Chapman , Ali Jannesari

We demonstrate the use of tensor networks for image classification with the TensorNetwork open source library. We explain in detail the encoding of image data into a matrix product state form, and describe how to contract the network in a…

机器学习 · 计算机科学 2019-06-17 Stavros Efthymiou , Jack Hidary , Stefan Leichenauer

Variational tensor network optimization has become a powerful tool for studying classical statistical models in two dimensions. However, its application to three-dimensional systems remains limited, primarily due to the high computational…

统计力学 · 物理学 2025-10-14 Xia-Ze Xu , Tong-Yu Lin , Guang-Ming Zhang

We examine the use of weight enumerators for analyzing tensor network constructions, and specifically the quantum lego framework recently introduced. We extend the notion of quantum weight enumerators to so-called tensor enumerators, and…

量子物理 · 物理学 2023-03-31 ChunJun Cao , Brad Lackey

Modern sensing and metrology systems now stream terabytes of heterogeneous, high-dimensional (HD) data profiles, images, and dense point clouds, whose natural representation is multi-way tensors. Understanding such data requires regression…

机器学习 · 计算机科学 2025-10-08 Qian Wang , Mohammad N. Bisheh , Kamran Paynabar

Subgraph counting aims to count the occurrences of a subgraph template T in a given network G. The basic problem of computing structural properties such as counting triangles and other subgraphs has found applications in diverse domains.…

分布式、并行与集群计算 · 计算机科学 2019-03-12 Langshi Chen , Jiayu Li , Ariful Azad , Lei Jiang , Madhav Marathe , Anil Vullikanti , Andrey Nikolaev , Egor Smirnov , Ruslan Israfilov , Judy Qiu

Quantum Computing (QC) stands to revolutionize computing, but is currently still limited. To develop and test quantum algorithms today, quantum circuits are often simulated on classical computers. Simulating a complex quantum circuit…

量子物理 · 物理学 2022-04-21 Eli A. Meirom , Haggai Maron , Shie Mannor , Gal Chechik

We introduce a learning-based framework to optimize tensor programs for deep learning workloads. Efficient implementations of tensor operators, such as matrix multiplication and high dimensional convolution, are key enablers of effective…

Tensors offer a natural representation for many kinds of data frequently encountered in machine learning. Images, for example, are naturally represented as third order tensors, where the modes correspond to height, width, and channels.…

机器学习 · 计算机科学 2017-06-05 Jean Kossaifi , Aran Khanna , Zachary C. Lipton , Tommaso Furlanello , Anima Anandkumar

Tensor networks establish an adaptable framework for the emulation of quantum circuits. By partitioning exponentially large registers and gates into smaller tensors, this unlocks fast transformations through tensor algebra, and grants fine…

分布式、并行与集群计算 · 计算机科学 2026-04-13 Jakub Adamski , Oliver Thomson Brown

Tensor networks developed in the context of condensed matter physics try to approximate order-$N$ tensors with a reduced number of degrees of freedom that is only polynomial in $N$ and arranged as a network of partially contracted smaller…

机器学习 · 计算机科学 2025-01-07 Hao Chen , Thomas Barthel

This paper studies reduced-order modeling of dynamic networks with strongly connected topology. Given a graph clustering of an original complex network, we construct a quotient graph with less number of vertices, where the edge weights are…

最优化与控制 · 数学 2020-03-10 Xiaodong Cheng , Lanlin Yu , Dingchao Ren , Jacquelien M. A. Scherpen

The tensor network, as a facterization of tensors, aims at performing the operations that are common for normal tensors, such as addition, contraction and stacking. However, due to its non-unique network structure, only the tensor network…

机器学习 · 计算机科学 2022-05-25 Tianning Zhang , Tianqi Chen , Erping Li , Bo Yang , L. K. Ang

Weight pruning in deep neural networks (DNNs) can reduce storage and computation cost, but struggles to bring practical speedup to the model inference time. Tensor-cores can significantly boost the throughput of GPUs on dense computation,…

分布式、并行与集群计算 · 计算机科学 2022-03-15 Guyue Huang , Haoran Li , Minghai Qin , Fei Sun , Yufei Ding , Yuan Xie

Modern neural networks have revolutionized the fields of computer vision (CV) and Natural Language Processing (NLP). They are widely used for solving complex CV tasks and NLP tasks such as image classification, image generation, and machine…

机器学习 · 计算机科学 2023-07-25 Xingyi Liu , Keshab K. Parhi

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 networks are a class of algorithms aimed at reducing the computational complexity of high-dimensional problems. They are used in an increasing number of applications, from quantum simulations to machine learning. Exploiting data…

Tensor contractions constitute a key computational ingredient of numerical multi-linear algebra. However, as the order and dimension of tensors grow, the time and space complexities of tensor-based computations grow quickly. Existing…

分布式、并行与集群计算 · 计算机科学 2018-08-15 Yang Shi , U. N. Niranjan , Animashree Anandkumar , Cris Cecka

Tensor network algorithms can efficiently simulate complex quantum many-body systems by utilizing knowledge of their structure and entanglement. These methodologies have been adapted recently for solving the Navier-Stokes equations, which…

Tensor networks were developed in the context of many-body physics as compressed representations of multiparticle quantum states. These representations mitigate the exponential complexity of many-body systems by capturing only the most…

机器学习 · 计算机科学 2026-04-17 Guillermo Valverde , Igor García-Olaizola , Giannicola Scarpa , Alejandro Pozas-Kerstjens