research
∙
11/16/2022
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
Humans tame the complexity of mathematical reasoning by developing hiera...
share
research
∙
06/16/2022
Extreme ratio between spectral and Frobenius norms of nonnegative tensors
One of the fundamental problems in multilinear algebra, the minimum rati...
research
∙
07/09/2017
