TY  - RPRT
TI  - Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
AU  - Ran Xin
AU  - Zeyu Zheng
AU  - Yanchen Nie
AU  - Kun Yuan
AU  - Xia Xiao
PY  - 2025
UR  - https://arxiv.org/abs/2509.06493
ID  - 2509.06493
ER  -