Urmish Thakker

~Urmish_Thakker1

1

论文总数

1.0

年均投稿

3.8

平均评分

接收情况0/1

会议分布

ICLR

1

发表论文 (1 篇)

20251 篇

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

ICLR 2025withdrawn

合作者 (5)

Changran Hu1 篇

Lingpeng Kong1 篇

Xueliang Zhao1 篇