Yong Lin

linyongver

AI & ML interests

None yet

Recent Activity

updated a model 6 days ago

Goedel-LM/Goedel-Prover-DPO

updated a model 6 days ago

Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated

updated a model 6 days ago

Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated

View all activity

Organizations

linyongver's activity

updated 3 models 6 days ago

published 2 models 9 days ago

Goedel-LM/Goedel-Prover-DPO

Updated 6 days ago • 5 • 2

Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated

Updated 6 days ago • 4

updated a dataset 9 days ago

Goedel-LM/Goedel-Pset-v1-solved

Viewer • Updated 9 days ago • 2.55M • 152

published a model 10 days ago

Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated

Updated 6 days ago • 17

published a dataset 10 days ago

Goedel-LM/Goedel-Pset-v1-solved

Viewer • Updated 9 days ago • 2.55M • 152

updated a model 10 days ago

Goedel-LM/Goedel-Prover-SFT

Updated 10 days ago • 14.3k • 27

updated a dataset 10 days ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated 10 days ago • 1.73M • 360 • 6

upvoted a paper 10 days ago

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

Paper • 2504.13161 • Published 11 days ago • 87

published a dataset 28 days ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated 10 days ago • 1.73M • 360 • 6

updated a dataset about 1 month ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 559 • 8

upvoted a paper about 2 months ago

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

Paper • 2503.00808 • Published Mar 2 • 57

liked a Space 3 months ago

Math

📉

a model that explains math very well !

published a dataset 3 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 559 • 8

published a model 3 months ago

Goedel-LM/Goedel-Prover-SFT

Updated 10 days ago • 14.3k • 27

updated 2 models 6 months ago

linyongver/reward_model1

Text Classification • Updated Oct 18, 2024 • 2

linyongver/DPO_gemma-2b-it

Feature Extraction • Updated Oct 17, 2024 • 2

upvoted a paper 12 months ago

RLHF Workflow: From Reward Modeling to Online RLHF

Paper • 2405.07863 • Published May 13, 2024 • 71