0

Ziju Shen

Peking University researcher; works on AI-for-math, neural theorem proving.

Role
researcher
Currently at
Independent
Twitter
Unknown
GitHub
Unknown
Scholar
scholar.google.com/scholar
Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
scholar.google.com/scholar
Attribution policy →
2papers

Authored papers

2

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning

arXiv 2025

2025

NuminaMath: The Largest Public Dataset in AI4Maths with 860k Pairs of Competition Math Problems and Solutions

blog

2024

Affiliations

Currently at

Independent

researcher · community

Frequent co-authors

10

from 2 papers

Bin Dong

professor

2 shared papers

Albert Jiang

researcher

1 shared paper

Ben Lipkin

grad-student

1 shared paper

Bryan Dai

1 shared paper

Edward Beeching

researcher

1 shared paper

Fanyi Yang

1 shared paper

Guillaume Lample

founder

1 shared paper

Guoxiong Gao

1 shared paper

Haocheng Ju

1 shared paper

Jia Li

researcher

1 shared paper