Poster "monte-carlo tree search" Papers
2 papers found
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 2025posterarXiv:2408.08152
134
citations
Human-Aligned Chess With a Bit of Search
Yiming Zhang, Athul Jacob, Vivian Lai et al.
ICLR 2025posterarXiv:2410.03893
4
citations