🔥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

Human generated data has fueled incredible AI progress, but what comes next? 📈 On the latest episode of our podcast, Hannah Fry and David Silver, VP of Reinforcement Learning, talk about how we could move from the era of relying on human data to one where AI could learn for

Group hike through the pine trees in Wharton State Forest 🌲🍃

Here is Epoch's second AI+Math Chat, feat. Kevin Buzzard, Yang-Hui He, Alex Kontorovich, and Kristin Lauter! Watch as we discuss the potential and obstructions for AI formalizing mathematics in Lean, and how LLMs learning the rules of arithmetic through pattern-matching might

Better late than never --- Qinghua Liu finally defended his FPO and officially graduated from our group! 🎓 So proud of you, Dr. Liu. You've done so many incredible work on the foundations of reinforcement learning.

Thanks so much, Chi! I’m really grateful to have had you as my advisor. I’ll always miss our time working together at Princeton.

We're so proud that Princeton researchers have received 1 outstanding paper award and 1 honorable mention at ICLR 2025 2025 Congratulations to Peter Henderson, Xiangyu Qi, Prateek Mittal, Ashwinee Panda @ ICLR 2025, Tianhao Wang ("Jiachen") @ICLR, and Kaifeng Lyu blog.iclr.cc/2025/04/22/ann…

Congrats on the amazing work! Tackling the last 10–20% on miniF2F takes a major leap in capability 🎉. The competition in formal math is getting so intense --- hard to believe Kimina held SOTA for only two weeks before being solidly surpassed by Deepseek.

Three papers accepted at ICML on informal math, game theory and Pokémon!

Day 2 at #MLxFundamentals is ON! 📚 From theory to practice – Day 2 is all about depth and application! ✔️ Optimisation for ML/DL — Chi Jin ✔️ Video Generative Models — Ishan Misra ✔️ Practical: Deep Learning & Representation Learning — Hao Liang Join us as we explore how

Writing math proof in Lean is surprisingly addictive. Watching Terence Tao formalize Lean proofs feels like watching a top-tier gamer playing on Twitch. :-) youtube.com/watch?v=c1ixXM…

🚀 Our new work from the Goedel-prover team at Princeton: benchmarking compositional reasoning on inequality problems in formal math!

Tested OpenAI o3 on the final exam from my sophomore-level signal processing/information theory course with ~100 students at Princeton 📊 It scored an impressive 89.5—well above the class average of 72.9, but still short of the top student’s 98+ 💯🎯

Excited to share that the PokeAgent challenge was accepted as a NeurIPS Conference competition! This should serve as an excellent standardized benchmark for competitive games AND ‘speedrunning’ the RPG. I hope to see both the RL and LLM agent communities working together here to eval

Congratulations to my brilliant and accomplished student Qinghua Liu Qinghua Liu on his graduation! 🎓 Excited for his next chapter at #OpenAI. Also honored to hood our amazing Princeton graduates: Chia-Hao Li, Kurtland Chua, Kexin Jin, and Yixiao Chen! youtu.be/Bf1K9TcehOg