activity
20132026
most citedLeveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits

131 citations · 462 across the 60 of their papers we have counts for

collaborators

64 papers

cs.LG2026

Unrolled Flow Models for Reasoning

Faissal Izermine, Hanru Bai, Oscar Davis +1

Flow matching enables language generation in few steps, but whether additional integration steps improve reasoning remains unclear. We prove that a flow parameterized by a two-laye…

math.NA2026

Counting Triangles of Graphs via Randomized Trace Estimation with Incomplete Matrix-Vector Products

Soumyadip Ghosh, Lior Horesh, Vasileios Kalantzis +3

Counting triangles in graphs is a fundamental operation in network analysis, underpinning metrics such as clustering coefficients and serving as a signal for community detection, l…

math.NA2026

Hybrid Digital-Analog Approximate Inverse Preconditioning for Krylov Methods

Shikhar Shah, Rui Peng Li, Tayfun Gokmen +3

Analog in-memory computing enables highly parallel matrix-vector multiplications with reduced data movement, but the resulting operations are noisy, quantized, and affected by devi…

math.NA2026

Analysis of Power Iteration Algorithm with Partially Observed Matrix-vector Products

Soumyadip Ghosh, Lior Horesh, Vassilis Kalantzis +3

We consider the problem of computing the dominant eigenvector of a symmetric matrix via the power iteration algorithm subject to constraints in the computation of matrix-vector pr…

cs.LG2026

Exact Symmetry as Algebra: Group-Structured Tensors that Enforce Physical Selection Rules

Paulina Hoyos, Shashanka Ubaru, Dongsung Huh +5

Symmetry determines which physical responses of molecules and crystals are allowed and underlies many models used throughout the physical sciences. Yet several widely used machine-…

cs.LG2025

A Differentiable Measure of Algebraic Complexity: Provably Exact Discovery of Group Structures

Dongsung Huh, Lior Horesh, Halyun Jeong

Discovering discrete algebraic rules from data is a fundamental challenge in machine learning. We formalize this problem through Cayley-table completion -- an algebraic counterpart…