TY  - RPRT
TI  - Learning to Prove, Not Just to Answer: Reinforcement Learning from Formal Verification for Natural-Language Logical Reasoning
AU  - Qili Zhang
AU  - Qianren Mao
AU  - Hanze Cai
AU  - Kaiming Zhao
AU  - Yuening He
AU  - Xihan Lei
AU  - Yashuo Luo
AU  - Hanwen Hao
AU  - Yutong Gu
AU  - Likang Xiao
AU  - Zhijun Chen
AU  - Weifeng Jiang
AU  - Haoyi Zhou
AU  - Jianxin Li
PY  - 2026
UR  - https://arxiv.org/abs/2609.37203
ID  - 2609.37203
ER  -