Yong Lin's picture

6 1

Yong Lin PRO

linyongver

·

AI & ML interests

None yet

Recent Activity

updated a model 12 days ago

Goedel-LM/Goedel-Formalizer-V2-32B

updated a dataset 18 days ago

Goedel-LM/MathOlympiadBench

updated a model 19 days ago

Goedel-LM/Goedel-Prover-V2-32B

View all activity

Organizations

linyongver 's models 2

linyongver/reward_model1

Text Classification • 3B • Updated Oct 18, 2024 • 4

linyongver/DPO_gemma-2b-it

Feature Extraction • 3B • Updated Oct 17, 2024 • 3