79 citations · 89 across the 10 of their papers we have counts for
4 papers · 1 filter
Complexity and computation for the spectral norm and nuclear norm of order three tensors with one fixed dimension
Haodong Hu, Bo Jiang, Zhening Li
The recent decade has witnessed a surge of research in modelling and computing from two-way data (matrices) to multiway data (tensors). However, there is a drastic phase transition…
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
Zhening Li, Gabriel Poesia, Omar Costilla-Reyes +2
Humans tame the complexity of mathematical reasoning by developing hierarchies of abstractions. With proper abstractions, solutions to hard problems can be expressed concisely, thu…
Extreme ratio between spectral and Frobenius norms of nonnegative tensors
Shengyu Cao, Simai He, Zhening Li +1
One of the fundamental problems in multilinear algebra, the minimum ratio between the spectral and Frobenius norms of tensors, has received considerable attention in recent years.…
MolScribe: Robust Molecular Structure Recognition with Image-To-Graph Generation
Yujie Qian, Jiang Guo, Zhengkai Tu +3
Molecular structure recognition is the task of translating a molecular image into its graph structure. Significant variation in drawing styles and conventions exhibited in chemical…