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

Yong Lin

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 8 days ago
Predictive Data Selection: The Data That Predicts Is the Data That Teaches
updated a dataset 23 days ago
Goedel-LM/Lean-workbook-proofs
updated a model 28 days ago
Goedel-LM/Goedel-Prover-SFT
View all activity

Organizations

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

linyongver's activity

liked a Space 29 days ago