Research author

Lushi Pu

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

Papers by Lushi Pu

Aug 14, 2026
cs.AI

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

Lushi Pu, Weiming Zhang, Xinheng Xie, et al.

7
Lushi Pu — AI Research Papers | One9Founders