Yong Lin

linyongver's activity

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

updated a dataset about 6 hours ago

Goedel-LM/Goedel-Pset

Viewer • Updated about 6 hours ago • 1.73M • 2

published a dataset 1 day ago

Goedel-LM/Goedel-Pset

Viewer • Updated about 6 hours ago • 1.73M • 2

updated a dataset 9 days ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 9 days ago • 29.8k • 400 • 6

upvoted a paper 28 days ago

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

Paper • 2503.00808 • Published about 1 month ago • 56

updated a model about 2 months ago

Goedel-LM/Goedel-Prover-SFT

Updated Feb 12 • 7.84k • 25

liked a Space about 2 months ago

Running on Zero

35

35

Math

📉

a model that explains math very well !

published a dataset 2 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 9 days ago • 29.8k • 400 • 6

published a model 2 months ago

Goedel-LM/Goedel-Prover-SFT

Updated Feb 12 • 7.84k • 25

updated a model 5 months ago

linyongver/reward_model1

Text Classification • Updated Oct 18, 2024 • 7

updated a model 6 months ago

linyongver/DPO_gemma-2b-it

Feature Extraction • Updated Oct 17, 2024 • 6

upvoted a paper 11 months ago

RLHF Workflow: From Reward Modeling to Online RLHF

Paper • 2405.07863 • Published May 13, 2024 • 70

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