Yu Chen

~Yu_Chen53

1

论文总数

1.0

年均投稿

6.8

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20251 篇

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

NeurIPS 2025Poster

合作者 (7)

Jiashuo Zhang1 篇

Kangjie Bao1 篇

Xiaoyang Liu1 篇

Yuntian Liu1 篇