影响力指数

-/100

发表论文1 篇

平均评分3.3

年均产出1.0 篇/年

Jiyao Zhang

MS student@Chinese University of Hong Kong·中国·OpenReview

Advancing Formal Mathematical Reasoning with Explorative Reinforcement Learning

ICLR 2026Rejected

合作者 (7)