Yeqi Gao

Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning

On the Generalization of Dynamic GNNs: A Heavy-Tailed Wavelet Perspective

An $O(k\log n)$ Time Fourier Set Query Algorithm

Binary Hypothesis Testing for Softmax Models and Leverage Score Models