Zhanhui Lin

Identifiers

• name variant Zhanhui Lin 0.60 · backfill

Papers (1)

1. The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization cs.CL · 2026 · author #3

Mentions

• 2606.28013 #3 · arxiv_oai · confidence 0.70 Zhanhui Lin

Frequent Coauthors

• Chengxiao Dai 1 shared papers
• Zhaokun Yan 1 shared papers