Teaching Tiny Models to Prove Hard Theorems | Lewis Tunstall | HF ML Club India EP1

Covers post-training methods that let small models handle theorem proving. Useful for anyone considering RL-style post-training on narrow, verifiable tasks.

• videoRoPE: Understanding Rotary Positional Embeddings in transformers
• videoBenchmarking LLMs at the Game Of Science (Eleusis)
• videoHugging Face Journal Club: AI Research Preference Models
• videoMoE Token Routing Explained: How Mixture of Experts Works (with Code)

• videoWhat happens now that AI is good at math? — the OpenAI Podcast Ep. 17OpenAI
• articleTen advances in mathematics and theoretical computer sciencesimonwillison.net
• videoStanford CS25: Transformers United V6 I From Language Models to Native Multimodal IntelligenceStanford Online

Checking sign-in…

Loading comments…