Yong Lin's picture

3 1

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

updated a dataset 14 days ago

Goedel-LM/Goedel-Pset

published a dataset 15 days ago

Goedel-LM/Goedel-Pset

updated a dataset 22 days ago

Goedel-LM/Lean-workbook-proofs

View all activity

Organizations

models 2

linyongver/reward_model1

Text Classification • Updated Oct 18, 2024 • 3

linyongver/DPO_gemma-2b-it

Feature Extraction • Updated Oct 17, 2024 • 1

datasets

None public yet