Research author

Zhanhui Lin

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

Papers by Zhanhui Lin

Jun 26, 2026
cs.CL

The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization

Chengxiao Dai, Zhaokun Yan, Zhanhui Lin

Zhanhui Lin — AI Research Papers | One9Founders