@misc{indiciae29be1b911d1a, title = {Reap: Uncovering Monte Carlo proof search with a lightweight model}, author = {Yutong Wang and Xuanzhi Ren and Tianyi Xu and Ruitong Liu and Jingda Xu and Peihao Wu and Bryan Dai and Bin Dong}, year = {2026}, url = {https://arxiv.org/abs/2611.02678}, note = {Source identifier: 2611.02678} }