0

Hongxuan Tang

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Chong Ruan

1 shared paper

Daya Guo

1 shared paper

Dejian Yang

1 shared paper

Haocheng Wang

1 shared paper

Huajian Xin

1 shared paper

Junxiao Song

1 shared paper

Liyue Zhang

1 shared paper

Qihao Zhu

1 shared paper

Shirong Ma

1 shared paper

Wanjia Zhao

1 shared paper