Research author

Xiao-Shan Gao

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Xiao-Shan Gao

Mar 25, 2026
cs.CL

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving

Ruichen Qiu, Yichuan Cao, Junqi Liu, et al.

Xiao-Shan Gao — AI Research Papers | One9Founders