Yong Lin's picture

8 1

Yong Lin

linyongver

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 24 days ago

AgentSPEX: An Agent SPecification and EXecution Language

upvoted a paper 7 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

updated a model 10 months ago

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

View all activity

Organizations

models 2

linyongver/reward_model1

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

linyongver/DPO_gemma-2b-it

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

datasets 0

None public yet