Yang Li

~Yang_Li139

1

论文总数

1.0

年均投稿

6.4

平均评分

接收情况1/1

会议分布

NeurIPS

1

发表论文 (1 篇)

20251 篇

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation

NeurIPS 2025Poster

合作者 (5)

Linfeng Song1 篇

Zhenwen Liang1 篇