Research author

Zihua She

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

Papers by Zihua She

Oct 26, 2026
stat.CO

KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents

Zihua She, Xiao Wang

Zihua She — AI Research Papers | One9Founders