About Me

I am a postdoctoral research fellow at Hua Loo-Keng Center for Mathematical Sciences, AMSS,CAS in Beijing, working with Prof. Lihong Zhi and Prof. Ke Ye. I was previously a research fellow at CNRS@CREATE in Singapore from August 2023 to August 2024 working with Prof. Victor Magron and Prof. Jean-Bernard Lasserre. I received my doctor's degree of mathematics under the supervision of Prof. Lihong Zhi at AMSS-CAS in July 2023. I received my Bachelor's degree from Sichuan University in 2018, under the guidance of Prof. Weinian Zhang.

I'm working on robust polynomial optimization and its applications in neural network verification.

Publications

• Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization (with S. Ðurašinović, J.-B. Lasserre, V. Magron, and J. Zhao), Proceedings of the Thirteenth International Conference on Learning Representations (ICLR'25).
• Computing sparse fourier sum of squares on finite abelian groups in quasi-linear time (with Ke Ye and Lihong Zhi), Applied and Computational Harmonic Analysis.
• Lower Bounds of Functions on Finite Abelian Groups (with Ke Ye and Lihong Zhi), The 29th International Computing and Combinatorics Conference (COCOON 2023)
• The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true (with Hao Liang, Sizhuo Yan and Lihong Zhi), Israel Journal of Mathematics
• A Characterization of Perfect Strategies for Mirror Games (with Sizhuo Yan, Tianshi Yu and Lihong Zhi)，Proceedings of the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC'23)

News & Activity

• Oct 16–20, 2025, attended 2025 Academic Annual Conference of the Chinese Mathematical Society (中国数学会2025年学术年会) in Binzhou.
• Aug 8–11, 2025, attended 第十五届计算机数学大会 in Harbin.
• Feb 21, 2025, invited talk at the School of Mathematical Sciences, Peking University.
• Jun 24–25, 2024, attended SINFRA 2024 in Singapore.
• Jun 15–18, 2023, attended 第十三届计算机数学大会 in Dalian.
• Sep 5–9, 2022, attended POEMA Final Workshop in Paris (online).