Gao, Yeqi

5 publications

ICLR 2026 Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning Marcus J. Min, Yeqi Gao, Wilson Sy, Zhaoyu Li, Xujie Si, Osbert Bastani

UAI 2025 A Fast Optimization View: Reformulating Single Layer Attention in LLM Based on Tensor and SVM Trick, and Solving It in Matrix Multiplication Time Yeqi Gao, Zhao Song, Weixin Wang, Junze Yin

AISTATS 2025 An Iterative Algorithm for Rescaled Hyperbolic Functions Regression Yeqi Gao, Zhao Song, Junze Yin

ICLR 2024 A Sublinear Adversarial Training Algorithm Yeqi Gao, Lianke Qin, Zhao Song, Yitan Wang

NeurIPSW 2024 Differentially Private Attention Computation Yeqi Gao, Zhao Song, Xin Yang, Yufa Zhou