TY  - RPRT
TI  - DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
AU  - Ziyin Zhang
AU  - Jiahao Xu
AU  - Zhiwei He
AU  - Tian Liang
AU  - Qiuzhi Liu
AU  - Yansi Li
AU  - Linfeng Song
AU  - Zhenwen Liang
AU  - Zhuosheng Zhang
AU  - Rui Wang
AU  - Zhaopeng Tu
AU  - Haitao Mi
AU  - Dong Yu
PY  - 2025
UR  - https://arxiv.org/abs/2505.23754
ID  - 2505.23754
ER  -