Research author

Lihong Zhi

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Lihong Zhi

Aug 3, 2026
cs.AI

MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4

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

Mar 25, 2026
cs.CL

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

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

Lihong Zhi — AI Research Papers | One9Founders