影响力指数

45.95/100

前 10.4%

全站排名 #6,701

发表论文5 篇

平均评分6.7

年均产出2.5 篇/年

Xian Zhang

Researcher@Microsoft·中国·OpenReview

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

A Survey on Deep Learning for Theorem Proving

COLM 2024Poster

Neuro-Symbolic Data Generation for Math Reasoning

NeurIPS 2024Poster

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

NeurIPS 2024Poster

合作者 (20)