Yong Lin (@yong18850571) 's Twitter Profile
Yong Lin

@yong18850571

Postdoc Fellow @PrincetonPLI @Princeton. Focusing on the trustwothiness of LLM. Apple AI/ML PhD Fellow 2023. Obtained PhD degree from @HKUST

ID: 1380847405902352388

linkhttps://linyongver.github.io/Website/ calendar_today10-04-2021 11:37:44

50 Tweet

415 Takipรงi

187 Takip Edilen

Yong Lin (@yong18850571) 's Twitter Profile Photo
Yong Lin
@yong18850571

7 months ago

๐Ÿš€ 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

๐Ÿš€ 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