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

🚀 Exciting news! Our Goedel-Prover paper is now live on arXiv: arxiv.org/pdf/2502.07640 🎉 We're currently developing the RL version and have a stronger checkpoint than before (currently not included in the report)!🚀🚀🚀 Plus, we’ll be open-sourcing 1.64M formalized

🚀 Exciting news! Our Goedel-Prover paper is now live on arXiv: arxiv.org/pdf/2502.07640 🎉 We're currently developing the RL version and have a stronger checkpoint than before (currently not included in the report)!🚀🚀🚀 Plus, we’ll be open-sourcing 1.64M formalized