Xiaohan Lin

~Xiaohan_Lin2

1

论文总数

1.0

年均投稿

7.3

平均评分

接收情况1/1

会议分布

ICLR

1

发表论文 (1 篇)

20241 篇

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ICLR 2024Spotlight

合作者 (8)

Haiming Wang1 篇

Huajian Xin1 篇

Linqi Song1 篇

Qingxing Cao1 篇

Xiaodan Liang1 篇

Yinya Huang1 篇

Zhenguo Li1 篇

Zhengying Liu1 篇