~/talk

DeepSeek-R1 Thoughtology: <Thinking> about LLM Reasoning

links:none on file
slides:none on file

DeepSeek R1 produces long internal “thoughts” with an initial Bloom step that finds a first solution and repeated Reconstruction cycles (reblooms and rumination) that often verbatim-repeat reasoning; inference-time scaling shows accuracy rises to a sweet spot then falls. The deployed RL objective uses only formatting+final-correctness reward, so credit goes equally to every token. Replacing value nets with stepwise Monte‑Carlo rollouts (ground truth from 256 rollouts, practical estimate with ~9) as VinePPO gives far better per-step value estimates, shorter chains, and measurable gains on MATH/AIME compared to GRPO/PPO.

AI-written summary · about

  1. 0:00DeepSeek R1 introduction
  2. 1:08DeepSeek R1 thoughts efficiency
  3. 5:10Thoughts structure
  4. 14:54Inference scaling trade-offs
  5. 27:16Credit assignment
  6. 36:31PPO and credit assignment
  7. 43:52Value networks VinePPO
  8. 53:14Nano R1 applications
  9. 59:36Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.