Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
AHA/ASA Journals

Coronary Atherosclerosis in Patients With Cancer and Survivors: A Scientific Statement From the American Heart Association

There is an emerging convergence between atherosclerotic cardiovascular disease and cancer, driven by shared risk factors and overlapping pathophysiologic mechanisms. Traditional factors, such as ...
IEEE

Parallel Tall-and-Skinny QR Factorization Based on LU-CholeskyQR Algorithm

We present optimal parallel QR factorization algorithms with reduced communication overhead. QR factorization is widely applied to solve various problems in numerical linear algebra. Our focus is on ...
IEEE

SubtreeLU: High-Performance Parallel Sparse LU Factorization for Circuit Simulation

Abstract: Solving sparse linear systems via LU factorization remains a critical performance bottleneck in SPICE-based circuit simulation. Existing solvers such as NICSLU and CKTSO have introduced ...