Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Posts
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
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 18 days ago
Goedel-LM/Goedel-Prover-DPO
updated a model 18 days ago
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
updated a model 18 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

upvoted a paper 22 days ago

CLIMB: CLustering-based Iterative Data Mixture Bootstrapping for Language Model Pre-training

Paper • 2504.13161 • Published 23 days ago • 88
upvoted a paper 2 months ago

Predictive Data Selection: The Data That Predicts Is the Data That Teaches

Paper • 2503.00808 • Published Mar 2 • 57
upvoted a paper 12 months ago

RLHF Workflow: From Reward Modeling to Online RLHF

Paper • 2405.07863 • Published May 13, 2024 • 71
upvoted a collection about 1 year ago

Standard-format-preference-dataset

Collection
We collect the open-source datasets and process them into the standard format. • 14 items • Updated May 8, 2024 • 24
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs