影响力指数

1.26/100

超过 2.9%

全站排名 #62,485

发表论文1 篇

平均评分6.3

年均产出1.0 篇/年

AI 学术分析

Haocheng Wang

PhD student@Hong Kong University of Science and Technology·中国·OpenReview

研究方向

Formal Math · AI for Mathematics

发表论文（1 篇）

ICLR 2025Poster

合作者 (17)