@misc{indiciae571edc3b0194,
  title = {DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning},
  author = {Ziyin Zhang and Jiahao Xu and Zhiwei He and Tian Liang and Qiuzhi Liu and Yansi Li and Linfeng Song and Zhenwen Liang and Zhuosheng Zhang and Rui Wang and Zhaopeng Tu and Haitao Mi and Dong Yu},
  year = {2025},
  url = {https://arxiv.org/abs/2505.23754},
  note = {Source identifier: 2505.23754}
}