Yong Lin's picture

2

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago

Goedel-LM/Goedel-Prover-SFT

updated a dataset 9 days ago

Goedel-LM/Lean-workbook-proofs

published a dataset 9 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 9 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