Yong Lin's picture

2 1

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

updated a dataset 7 days ago

Goedel-LM/Lean-workbook-proofs

updated a model 12 days ago

Goedel-LM/Goedel-Prover-SFT

liked a Space 13 days ago

Tonic/Math

View all activity

Organizations

linyongver's activity

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 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