Selected Publications

See also my Google Scholar profile.

Graph algorithms

Deterministic Almost-Linear-Time Gomory-Hu Trees
Amir Abboud, Rasmus Kyng, Jason Li, Debmalya Panigrahi, Maximilian Probst Gutenberg, Thatchaphol Saranurak, Weixuan Yuan, Wuwei Yuan.
IEEE Symposium on Foundations of Computer Science (FOCS 2025). [paper] [slides]
Presented at FOCS 2025 by Weixuan Yuan and Wuwei Yuan.

Authors of the FOCS paper are listed alphabetically.

Statistics (undergraduate work, before 2023)

Optimal subsampling for principal component analysis
Xuehu Zhu^†, Weixuan Yuan^†, Zongben Xu, Wenlin Dai.
Science China Mathematics 68, 2993-3016, 2025. [paper]

Optimal subsampling for estimation of dimension reduction directions
Xinru Jia^†, Weixuan Yuan^†, Xingqiu Zhao, Xuehu Zhu.
Scandinavian Journal of Statistics 53(1), 575-611, 2026. [paper]

^† Equal contribution.

Under-review manuscript

AuXSpec: Learning to Autoformalize Program Specifications via Executable Postconditions
Co-first author; under review at ICLR 2027. Manuscript not yet publicly available.