影响力指数

-/100

发表论文1 篇

平均评分3.3

年均产出1.0 篇/年

Xiaolin Hu

PhD student@University of Leicester·英国·OpenReview

StepProof: Step-by-step verification of natural language mathematical proofs

ICLR 2025Rejected

合作者 (4)