Xian Zhang

~Xian_Zhang4

5

论文总数

2.5

年均投稿

6.7

平均评分

接收情况5/5

会议分布

NeurIPS

3

ICLR

1

COLM

1

发表论文 (5 篇)

20252 篇

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

ICLR 2025Poster

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

NeurIPS 2025Poster

20243 篇

Neuro-Symbolic Data Generation for Math Reasoning

NeurIPS 2024Poster

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

NeurIPS 2024Poster

A Survey on Deep Learning for Theorem Proving

COLM 2024Poster

合作者 (20)

Xiaoxing Ma3 篇

Kaiyu Yang2 篇

Xinming Wei1 篇