TY  - RPRT
TI  - Reap: Uncovering Monte Carlo proof search with a lightweight model
AU  - Yutong Wang
AU  - Xuanzhi Ren
AU  - Tianyi Xu
AU  - Ruitong Liu
AU  - Jingda Xu
AU  - Peihao Wu
AU  - Bryan Dai
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2611.02678
ID  - 2611.02678
ER  -