Xiao-Shan Gao
Scholar

Xiao-Shan Gao

Google Scholar ID: _se7GmUAAAAJ
AMSS, CAS
Automated ReasoningSymbolic ComputationMachine Learning Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,715
 
H-index
23
 
i10-index
56
 
Publications
20
 
Co-authors
0
 
Publications
22 items
On the Capability and Limitation of Hard Prompt
2026
Cited
0
On the Turing Completeness of Transformers and Agents
2026
Cited
0
Sparse Polynomial GCD Algorithms Asymptotically Linear in All Fundamental Parameters
2026
Cited
0
MechMath Agent Team: LLM Driven Agents for Mathematical Research
2026
Cited
0
Deterministic Polynomial-time Exact-root Computation for Sparse Polynomials with Bounded Total Degree
2026
Cited
0
Every Nonnegative Integer Is a Sum of a Triangular, a Pentagonal, and a Heptagonal Number
2026
Cited
0
A Greatest Common Divisor Criterion of Certain Binomial Coefficients
2026
Cited
0
Quasi-linear Time Multiplication of Sparse Polynomials with Integer Coefficients
2026
Cited
0
Resume
Academic Achievements
  • Publications (see personal homepage for details); Involved in CAM/CNC and Geometry Expert projects.
Background
  • Professor; Member of the Key Laboratory of Mathematics Mechanization; Institute of Systems Science; Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences.
Miscellany
  • Participant or organizer of the International Conference on Mathematical Theory of Deep Learning (2024)