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 Followers

187 Following

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

6 months ago

We are glad that arxiv.org/abs/2411.18872 evaluate our Goedel-Prover (goedel-lm.github.io) on IMO lemmas and compare it with O3-mini as well as Deepseek-Prover-RL. Our model solved 37.9% of the IMO lemmas and O3-mini only solved 23.8%. It is interesting that

We are glad that arxiv.org/abs/2411.18872 evaluate our Goedel-Prover (goedel-lm.github.io) on IMO lemmas and compare it with O3-mini as well as Deepseek-Prover-RL. Our model solved 37.9% of the IMO lemmas and O3-mini only solved 23.8%. It is interesting that