0

Huaiyuan Ying

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

arXiv 2025

2025

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems

arXiv 2024

2024

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Allan Jie

1 shared paper

Cheng Ren

1 shared paper

Chenggang Li

1 shared paper

Chenrui Wei

1 shared paper

Chi Zhang

researcher

1 shared paper

Dahua Lin

1 shared paper

Fan Yang

1 shared paper

Ge Zhang

researcher

1 shared paper

He Sun

1 shared paper

Hongyi Yuan

1 shared paper