"monte-carlo tree search" Papers
2 papers found
Conference
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Huajian Xin, Z.Z. Ren, Junxiao Song et al.
ICLR 2025arXiv:2408.08152
142
citations
Human-Aligned Chess With a Bit of Search
Yiming Zhang, Athul Jacob, Vivian Lai et al.
ICLR 2025arXiv:2410.03893
4
citations