Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Xiao-Shan Gao
Observed name:
Gao, Xiao-Shan
Institutions:
Chinese Academy of Sciences,
Academy of Mathematics and Systems Science,
University of Chinese Academy of Sciences
Observed institutions:
Chinese Academy of Sciences,
Academy of Mathematics and Systems Science,
University of Chinese Academy of Sciences
OpenAlex ID:
A5128204631
MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
2026
·
Qiu, Ruichen
, Cao, Yichuan
, et al.
·
arXiv (Cornell University)
·
2
PDF
Why Do Unlearnable Examples Work: A Novel Perspective of Mutual Information
2026
·
Zhu, Yifan
, Miao, Yibo
, et al.
·
arXiv (Cornell University)
·
1
PDF
On the Turing Completeness of Transformers and Agents
2026
·
Qiao, Yimu
, Yu, Lijia
, et al.
·
arXiv (Cornell University)
PDF
Sparse Polynomial GCD Algorithms Asymptotically Linear in All Fundamental Parameters
2026
·
Huang, Qiao-Long
, Gao, Xiao-Shan
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
4
Citation count:
3
H-index:
1
I10-index:
Year
Topic
Type
