0

Wanyi He

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Bin Dong

professor

1 shared paper

Bryan Dai

1 shared paper

Fanyi Yang

1 shared paper

Guoxiong Gao

1 shared paper

Haocheng Ju

1 shared paper

Jiedong Jiang

1 shared paper

Mengzhou Sun

1 shared paper

Naohao Huang

1 shared paper

Peihao Wu

1 shared paper

Pu Yang

1 shared paper