Research author

Hongya Lyu

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

Papers by Hongya Lyu

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
Hongya Lyu — AI Research Papers | One9Founders