Yong Lin's picture

2 1

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

liked a Space about 17 hours ago

Tonic/Math

updated a model 6 days ago

Goedel-LM/Goedel-Prover-SFT

updated a dataset 13 days ago

Goedel-LM/Lean-workbook-proofs

View all activity

Organizations

linyongver's activity

upvoted a paper 9 months ago

RLHF Workflow: From Reward Modeling to Online RLHF

Paper • 2405.07863 • Published May 13, 2024 • 67

upvoted a collection 10 months ago

Standard-format-preference-dataset

We collect the open-source datasets and process them into the standard format. • 14 items • Updated May 8, 2024 • 24