Yong Lin's picture

4 1

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

published a model about 9 hours ago

Goedel-LM/Goedel-Prover-DPO

published a model about 9 hours ago

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

updated a model about 10 hours ago

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

View all activity

Organizations

models 2

linyongver/reward_model1

Text Classification • Updated Oct 18, 2024 • 2

linyongver/DPO_gemma-2b-it

Feature Extraction • Updated Oct 17, 2024

datasets

None public yet