🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Did you know there’s a task people easily solve but GPT-4 fails? From a few input-output grids, ARC asks you to infer and apply a rule With Hypothesis Search, we double GPT-4’s score arxiv.org/abs/2309.05660 w/Ruocheng Wang Gabriel Poesia evanthebouncy Nick Haber noahdgoodman 🧵

What do great teachers do to be good at teaching? What can this teach us about LMs? Most of us experience the “front stage” of teaching—as students. Few see the *back stage*: the planning, pedagogical decisions… 🌉 Bridge, at NAACL’24, surfaces these hidden decisions🧵

Finally used Midjourney to finish an idea I've had for a while: Re-creating scenes from some of the wacky dreams ✨ I had during COVID!  Stress causes many people to have super vivid dreams, and it's really fun to try to preserve them this way 😃 sites.google.com/view/pandemicd…

Will present Hypothesis Search @ICLR this morning on LM inductive reasoning (specific examples→general rules). We show cool results on many datasets -- but I do have a soft spot for François Chollet's ARC Co-led by Ruocheng Wang w/Gabriel Poesia evanthebouncy Nick Haber noahdgoodman

Work at ICML led and presented by Zed Li , with Armando Solar-Lezama! Stop by if you're attending! TLDR: We learned (first the hard way) that learning good skills for RL tasks can be theoretically impossible if the MDP is incompressible. This clarifies when skills can help RL!

📢Excited to announce the 4th MATH-AI Workshop at #NeurIPS2024 to discuss some of the exciting recent advances in AI for math! 🏠Homepage: mathai2024.github.io ✍️Help review! forms.gle/BssMrXeGgfMfLL… 📝Submit: openreview.net/group?id=NeurI…

The workshop on mathematical reasoning and AI is back! - compare human-level mathematical reasoning to current AI - evaluate mathematical reasoning in LLMs - unlock new reasoning capabilities - applications of AI in stem fields in the near & long-term Deadline Sept 20!

If you're at NeurIPS, come tomorrow for the Oral+Poster on "Learning Formal Mathematics from Intrinsic Motivation"! Really fun work with David Broman Nick Haber noahdgoodman that put together much of what I did in the past years, w/ a new twist with open-ended learning!

Math-AI workshop is huge!

I think CS336 has one of the best LLM problem sets of any AI/LM class thanks to our incredible TAs (Nelson Liu,Gabriel Poesia,Marcel Rød,Neil Band,Rohith Kuditipudi). We're making it so you can do it all at home, and it's one of the best ways to learn LLMs deeply.

You can tell we got maybe a bit too excited when our problem set 1 ended up being a mini-book at 50 pages of content, and covers what many courses would cover across 2 or 3 assignments (github.com/stanford-cs336…)

Thrilled to join the UMich faculty in 2026! I'll also be recruiting PhD students this upcoming cycle. If you're interested in AI and formal reasoning, consider applying!