Research author

Hao Shen

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

Papers by Hao Shen

Aug 3, 2026
cs.AI

MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4

Hao Shen, Junyu Guo, Tian Cui, et al.

Hao Shen — AI Research Papers | One9Founders