影响力指数

53.49/100

前 6.9%

全站排名 #4,464

发表论文6 篇

平均评分5.9

年均产出2.0 篇/年

Wai Ming Tai

Researcher@Huawei Technologies Ltd.·新加坡·OpenReview

研究方向

automated theorem proving

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization

ICLR 2026Poster

Mathesis: Towards Formal Theorem Proving from Natural Languages

ICLR 2026Poster

Dimension-Independent Rates for Structured Neural Density Estimation

ICLR 2025Rejected

Dimension-Independent Rates for Structured Neural Density Estimation

ICML 2025Poster

Near-optimal Active Regression of Single-Index Models

ICLR 2025Poster

合作者 (20)

博后导师3 篇

Robert A. Vandermeulen

Austen Jeremy Sugiarto

Claudia Beth Ong