0

Ebony Zhang

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Bolton Bailey

1 shared paper

Chendong Song

1 shared paper

Chenjun Xiao

1 shared paper

Dehao Zhang

1 shared paper

Flood Sung

1 shared paper

Frederick Pu

1 shared paper

Haiming Wang

1 shared paper

Han Zhu

1 shared paper

Hugues de Saxcé

1 shared paper

Jia Li

researcher

1 shared paper