| 2025 | AAAI | PowerMLP: An Efficient Version of KAN. | Ruichen Qiu, Yibo Miao, Shiwen Wang, Yifan Zhu, Lijia Yu, Xiao-Shan Gao |
| 2025 | ICLR | Provable Robust Overfitting Mitigation in Wasserstein Distributionally Robust Optimization. | Shuang Liu, Yihan Wang, Yifan Zhu, Yibo Miao, Xiao-Shan Gao |
| 2025 | ICLR | Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Power. | Lijia Yu, Yibo Miao, Yifan Zhu, Xiao-Shan Gao, Lijun Zhang |
| 2024 | AAAI | Game-Theoretic Unlearnable Example Generator. | Shuang Liu, Yihan Wang, Xiao-Shan Gao |
| 2024 | AAAI | Detection and Defense of Unlearnable Examples. | Yifan Zhu, Lijia Yu, Xiao-Shan Gao |
| 2024 | ICLR | Optimal robust Memorization with ReLU Neural Networks. | Lijia Yu, Xiao-Shan Gao, Lijun Zhang |
| 2024 | ICML | Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. | Shuyu Cheng, Yibo Miao, Yinpeng Dong, Xiao Yang, Xiao-Shan Gao, Jun Zhu |
| 2024 | ICML | Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. | Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang |
| 2024 | ICML | Toward Availability Attacks in 3D Point Clouds. | Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao |
| 2024 | ISIT | Proving Information Inequalities by Gaussian Elimination. | Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao |
| 2023 | ICML | Adversarial Parameter Attack on Deep Neural Networks. | Lijia Yu, Yihan Wang, Xiao-Shan Gao |
| 2023 | ICONIP | Restore Translation Using Equivariant Neural Networks. | Yihan Wang, Lijia Yu, Xiao-Shan Gao |
| 2023 | ISSAC | New Sparse Multivariate Polynomial Factorization Algorithms over Integers. | Qiao-Long Huang, Xiao-Shan Gao |
| 2022 | ISIT | Proving Information Inequalities and Identities with Symbolic Computation. | Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao |
| 2021 | ISIT | Lower Bound for Derivatives of Costa's Differential Entropy. | Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao |
| 2021 | ISSAC | New Developments of Mathematics Mechanization. | Xiao-Shan Gao |
| 2019 | CASC | Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. | Qiao-Long Huang, Xiao-Shan Gao |
| 2017 | CASC | Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. | Qiao-Long Huang, Xiao-Shan Gao |
| 2017 | CASC | Characteristic Set Method for Laurent Differential Polynomial Systems. | Youren Hu, Xiao-Shan Gao |
| 2017 | ISSAC | Criteria for Finite Difference Grbner Bases of Normal Binomial Difference Ideals. | Yu-Ao Chen, Xiao-Shan Gao |
| 2015 | CASC | On the Topology and Visualization of Plane Algebraic Curves. | Kai Jin, Jin-San Cheng, Xiao-Shan Gao |
| 2013 | ISSAC | Sparse difference resultant. | Wei Li, Chun-Ming Yuan, Xiao-Shan Gao |
| 2011 | ISSAC | Sparse differential resultant. | Wei Li, Xiao-Shan Gao, Chun-Ming Yuan |
| 2009 | CASC | Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. | Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2009 | ISSAC | Root isolation for bivariate polynomial systems with local generic position method. | Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2009 | SAC | Topology determination and isolation for implicit plane curves. | Jin-San Cheng, Xiao-Shan Gao, Jia Li |
| 2008 | SAC | Special track on Geometric Constraints and Reasoning: editorial message. | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
| 2007 | ISSAC | Complete numerical isolation of real zeros in zero-dimensional triangular systems. | Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap |
| 2006 | ISSAC | Resolvent systems of difference polynomial ideals. | Xiao-Shan Gao, Chun-Ming Yuan |
| 2006 | SAC | Editorial message: technical track on geometric computing and reasoning. | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
| 2006 | SAC | Spatial geometric constraint solving based on k-connected graph decomposition. | Gui-Fang Zhang, Xiao-Shan Gao |
| 2005 | ISSAC | Algebraic general solutions of algebraic ordinary differential equations. | J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao |
| 2004 | GMP | Rational Quadratic Approximation to Real Plane Algebraic Curves. | Xiao-Shan Gao, Ming Li |
| 2004 | ISSAC | Rational general solutions of algebraic ordinary differential equations. | Ruyong Feng, Xiao-Shan Gao |
| 2004 | ISSAC | Decomposition of differential polynomials with constant coefficients. | Xiao-Shan Gao, Mingbo Zhang |
| 2004 | SNPD | A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems. | Xinchao Zhao, Xiao-Shan Gao |
| 2002 | GMP | Construct Piecewise Hermite Interpolation Surface with Blending Methods. | Xiao-Shan Gao, Ming Li |
| 1996 | CADE | An Introduction to Geometry Expert. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1994 | CADE | Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. | Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao |
| 1993 | ISSAC | Automated Geometry Theorem Proving by Vector Calculation. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | LICS | Automated Production of Traditional Proofs for Constructive Geometry Theorems | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1992 | CADE | Proving Geometry Statements of Constructive Type. | Shang-Ching Chou, Xiao-Shan Gao |
| 1992 | ISSAC | Solving Parametric Algebraic Systems. | Xiao-Shan Gao, Shang-Ching Chou |
| 1991 | ISSAC | Computations with Parametric Equations. | Xiao-Shan Gao, Shang-Ching Chou |
| 1990 | CADE | Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. | Shang-Ching Chou, Xiao-Shan Gao |
| 1990 | ISSAC | Methods for Mechanical Geometry Formula Deriving. | Shang-Ching Chou, Xiao-Shan Gao |