Pinned
Chi Jin
183 posts
Chi Jin
@chijinML
Researcher @OpenAI | Associate Prof @Princeton
AI Reasoning · Reinforcement Learning · Game Theory · ML Foundations
Excited to share that I’ve been promoted to Associate Professor with tenure at Princeton!🎉 6 years may not be long, but AI research has evolved significantly during this period. Grateful to all my students, collaborators, colleagues for being with me on this remarkable journey!
- Interested in learning the mathematical foundations of Reinforcement Learning (RL)? Now is a good time! This semester, we will make videos and lecture notes from my graduate-level RL theory course at Princeton available to the public. Now it's week 1:
- Leaving Deepmind, London, and heading back to Princeton. Thanks for having me here @CsabaSzepesvari @LattimoreTor @mhutter42 Laurent, Andras, @Yadkori Ilya, Alan, Nevena, @antoine_mln It’s a wonderful summer!
- Wow, all of our 6 submissions to ICML and COLT got accepted this year! Congrats to all my collaborators.
- Many friends still ask me about AI for IMO, formal vs informal math. Some quick thoughts: IMO results: GDM and OpenAI achieved gold using informal (natural language) methods. ByteDance and AlphaProof (last year) got gold/silver using formal methods (Lean + specialized geometry
- Really excited to share that our Pokémon competition is accepted at NeurIPS 2025!🔥 Get ready for an epic AI challenge featuring both speedruns🎮 and multi-player Pokémon battles⚔️---more details coming soon!
- Super proud of my fantastic postdocs and graduate students taking their next steps at frontier labs 🎉 • Yong Lin (@Yong18850571) → Thinking Machine • Zihan Ding (@Hanry65960814) → Bytedance • Ahmed Khaled → Google It’s always bittersweet to say goodbye😢 but I couldn’t be
- Three papers accepted at ICML on informal math, game theory and Pokémon!
- My talk at EPFL on game theory --- beyond equilibrium learning. youtu.be/D22EY7j3Zh4 If you ever wonder whether equilibrium is truly the right solution concept for my multiagent application, what we can do alternatively, this is the vid for you :-)
- 🚀With early access to Tinker, we matched full-parameter SFT performance as in Goedel-Prover V2 (32B) (on the same 20% data) using LoRA + 20% of the data. 📊MiniF2F Pass@32 ≈ 81 (20% SFT). Next: full-scale training + RL. This is something that previously took a lot more effort
- Extremely honored to receive this junior faculty award as well as the NSF Career award this year. Thank you all for the support!
- I’m really amazed by this recent paper! It integrates Gemini 2.5 with our Goedel-Prover V2, redefining SOTA in formal mathematics and reaching new heights on PutnamBench, significantly beating even Seed-Prover! arxiv.org/pdf/2509.22819
- The technical report for Goedel-Prover-V2 is out! 📌 SOTA among all open-source theorem provers ⚡ Among the best overall—including closed-source—under small test-time compute Read it here:
