Jiawei Ge

(1/4)🚨 Introducing Goedel-Prover V2 🚨 🔥🔥🔥 The strongest open-source theorem prover to date. 🥇 #1 on PutnamBench: Solves 64 problems—with far less compute. 🧠 New SOTA on MiniF2F: * 32B model hits 90.4% at Pass@32, beating DeepSeek-Prover-V2-671B’s 82.4%. * 8B > 671B: Our 8B model matches DeepSeek-671B on MiniF2F. 📚 Leading on MathOlympiadBench (IMO-level problems) * Solves 73 vs 50 over 671B DeepSeek Prover 🔓 Website: blog.goedel-prover.com 🔓 Model 32B: huggingface.co/Goedel-LM/Goed… 🔓 Model 8B huggingface.co/Goedel-LM/Goed… 🔓Data and training pipeline will be released soon. Amazing Collaborators: @sangertang1999 @Lyubh22 @__zrrr__ @juihuichung @thomaszhao1998 @pero733858111 @thiiis_user @EmilyJge @JingruoS5931 @wujiayun12 @GesiJiri68334 @davidjesusacu @KaiyuYang4 @hongzhou__lin @YejinChoinka @danqi_chen @prfsanjeevarora @chijinML

@YuanhaoWang3 @jasondeanlee @yuxiangw_cs @nanjiang_cs I got one!

@jasondeanlee @yuxiangw_cs @nanjiang_cs I think Intel has those (I didn't get one)

Boarding flight to free company t-shirts… I mean NeurIPS. Happy to chat! I mean seriously, don’t take all the t-shirts and leave some to me 🫠 @jasondeanlee

Feel free to stop by our posters on RL theory and parameter-free optimization at NeurIPS! Our amazing student Qinghua Liu @qinghual2020 is also on the job market this year.

Announcing our new paper arxiv.org/abs/2311.15961 which studies OOD generalization under well-specified covariate shift, and proves that surprisingly vanilla MLE without using any importance weights is the best algorithm!