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
 
Contact
No contact links provided.
Publications
12 items
Towards Robust Content Watermarking Against Removal and Forgery Attacks
2026
Cited
0
An Algebraic Method for Full-Rank Characterization in Binary Linear Coding
2026
Cited
0
Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
2026
Cited
0
Why Do Unlearnable Examples Work: A Novel Perspective of Mutual Information
2026
Cited
0
Analyzing the Power of Chain of Thought through Memorization Capabilities
2025
Cited
0
A Survey on Unlearning in Large Language Models
2025
Cited
0
Provable Watermarking for Data Poisoning Attacks
2025
Cited
0
Red-Teaming Text-to-Image Systems by Rule-based Preference Modeling
2025
Cited
0
Resume (English only)
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)
Co-authors
0 total
Co-authors: 0 (list not available)