Shange Tang
@sangertang1999
Followers
117
Following
11
Media
0
Statuses
9
PhD student @Princeton. ML theory and application.
Joined February 2022
RT @Yong18850571: (1/4)🚨 Introducing Goedel-Prover V2 🚨.🔥🔥🔥 The strongest open-source theorem prover to date. 🥇 #1 on PutnamBench: Solves 6….
0
87
0
RT @thomaszhao1998: 🚨 Easy math, epic fail! 🚨. Our new benchmark, Ineq-Comp, gives formal theorem provers Lean inequalities. then makes t….
0
10
0
RT @Yong18850571: We are excited to announce the release of Goedel-Pset (, the largest Lean statement dataset, whic….
0
21
0
RT @chijinML: I gave a talk on our Goedel-Prover project, which sets a new SOTA in opensource automated theorem proving, at the AI Agent Re….
0
21
0
RT @chijinML: ELO scores are widely used for rating players in real-world games and even LLMs. But can we trust these scores, especially in….
0
13
0
RT @Yong18850571: 🚀 Exciting news! Our Goedel-Prover paper is now live on arXiv: 🎉 . We're currently developing the….
0
44
0
RT @KaixuanHuang1: Do LLMs have true generalizable mathematical reasoning capability or are they merely memorizing problem-solving skills?….
0
132
0
Exciting work with amazing collaborators! Our Goedel-Prover achieves the open source SOTA performance in automated theorem proving !.
🚀 Introducing Goedel-Prover: A 7B LLM achieving SOTA open-source performance in automated theorem proving! 🔥. ✅ Improving +7% over previous open source SOTA on miniF2F.🏆 Ranking 1st on the PutnamBench Leaderboard.🤖 Solving 1.9X total problems compared to prior works on Lean
0
0
6