Xinming Wei

~Xinming_Wei1

1

论文总数

1.0

年均投稿

6.5

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20241 篇

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

NeurIPS 2024Poster

合作者 (6)

Xian Zhang1 篇

Xiaoxing Ma1 篇