Open
Episode cover
YouTube20 Jan 2025
14m

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and MCTS

Podcast cover

Xiaol.x

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and MCTS