@misc{indiciae887f68cda841,
  title = {Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning},
  author = {Qili Zhang and Qianren Mao and Hanze Cai and Kaiming Zhao and Yuening He and Xihan Lei and Yashuo Luo and Hanwen Hao and Yutong Gu and Likang Xiao and Zhijun Chen and Weifeng Jiang and Haoyi Zhou and Jianxin Li},
  year = {2026},
  url = {https://arxiv.org/abs/2609.37203},
  note = {Source identifier: 2609.37203}
}