0

Zhengwen Liang

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Dong Yu

1 shared paper

Haitao Mi

1 shared paper

Jiahao Xu

1 shared paper

Linfeng Song

1 shared paper

Qiuzhi Liu

1 shared paper

Rui Wang

1 shared paper

Tian Liang

1 shared paper

Yansi Li

1 shared paper

Zhaopeng Tu

1 shared paper

Zhiwei He

1 shared paper