Hugging Face's logo
Yong Lin's picture
4 1

Yong Lin PRO

linyongver
bmorphism's profile picture 21world's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a model 28 days ago
Goedel-LM/Goedel-Prover-DPO
updated a model 28 days ago
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
updated a model 28 days ago
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated
View all activity

Organizations

Directional Preference Alignment's profile picture Goedel-LM's profile picture

linyongver's activity

updated 3 models 28 days ago
published 2 models about 1 month ago
updated a dataset about 1 month ago
published a model about 1 month ago
published a dataset about 1 month ago
updated a model about 1 month ago
updated a dataset about 1 month ago
upvoted a paper about 1 month ago
published a dataset about 2 months ago
updated a dataset about 2 months ago
upvoted a paper 3 months ago
liked a Space 3 months ago
published a dataset 4 months ago
published a model 4 months ago
updated 2 models 7 months ago
upvoted a paper about 1 year ago