0

Chenrui Cao

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Di Huang

1 shared paper

Jie Yan

1 shared paper

Lei Qi

1 shared paper

Rui Zhang

1 shared paper

Ruosi Wan

1 shared paper

Shijie Shang

1 shared paper

Xing Hu

1 shared paper

Yue Peng

1 shared paper

Yutong Wu

1 shared paper

Zidong Du

1 shared paper