Yong Lin

linyongver's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 8 days ago

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

Paper • 2503.00808 • Published 10 days ago • 53

updated a dataset 23 days ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 23 days ago • 29.8k • 223 • 5

updated a model 28 days ago

Goedel-LM/Goedel-Prover-SFT

Updated 28 days ago • 2.84k • 24

liked a Space 29 days ago

Running on Zero

34

34

Math

📉

a model that explains math very well !

published a dataset about 1 month ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 23 days ago • 29.8k • 223 • 5

published a model about 1 month ago

Goedel-LM/Goedel-Prover-SFT

Updated 28 days ago • 2.84k • 24

updated 2 models 5 months ago

linyongver/reward_model1

Text Classification • Updated Oct 18, 2024 • 9

linyongver/DPO_gemma-2b-it

Feature Extraction • Updated Oct 17, 2024 • 13

upvoted a paper 10 months ago

RLHF Workflow: From Reward Modeling to Online RLHF

Paper • 2405.07863 • Published May 13, 2024 • 68

upvoted a collection 11 months 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