1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2022★ 1 cited
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…
math.OC2018
On decompositions and approximations of conjugate partial-symmetric complex tensors
Taoran Fu, Bo Jiang, Zhening Li
Conjugate partial-symmetric (CPS) tensors are the high-order generalization of Hermitian matrices. As the role played by Hermitian matrices in matrix theory and quadratic optimizat…