影响力指数

14.93/100

超过 45.7%

全站排名 #34,987

发表论文1 篇

平均评分6.5

年均产出1.0 篇/年

Yifan Wu

Researcher@Peking University·中国·OpenReview

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

NeurIPS 2024Poster

合作者 (6)