影响力指数

-/100

发表论文1 篇

平均评分3.8

年均产出1.0 篇/年

Haige Bo

Researcher@Sambanova Systems·美国·OpenReview

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

ICLR 2025Withdrawn

合作者 (5)