4 papers
STNet: Spectral Transformation Network for Solving Operator Eigenvalue Problem
Hong Wang, Jiang Yixuan, Jie Wang +3
Operator eigenvalue problems play a critical role in various scientific fields and engineering applications, yet numerical methods are hindered by the curse of dimensionality. Rece…
GPU-Accelerated Distributed QAOA on Large-scale HPC Ecosystems
Zhihao Xu, Srikar Chundury, Seongmin Kim +6
Quantum computing holds great potential to accelerate the process of solving complex combinatorial optimization problems. The Distributed Quantum Approximate Optimization Algorithm…
An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores
Benjamin Valpey, Xinyi Li, Sreepathi Pai +1
Many recent computational accelerators provide non-standard (e.g., reduced precision) arithmetic operations to enhance performance for floating-point matrix multiplication. Unfortu…
ATTNChecker: Highly-Optimized Fault Tolerant Attention for Large Language Model Training
Yuhang Liang, Xinyi Li, Jie Ren +3
Large Language Models (LLMs) have demonstrated remarkable performance in various natural language processing tasks. However, the training of these models is computationally intensi…