Cite
Notes
Only stored in your browser.
Attribution
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
arXiv 2025
ReFT: Reasoning with Reinforced Fine-Tuning
arXiv 2024
Design of Chain-of-Thought in Math Problem Solving
arXiv 2023
from 3 papers
Hang Li
Trung Quoc Luong
Xinbo Zhang
Zhanming Jie
Allan Jie
Cheng Ren
Chenggang Li
Chenrui Wei
Chi Zhang
researcher
Fan Yang