yaoyifan's picture

1 1

yaoyifan

yyf12

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 13 hours ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

updated a model about 13 hours ago

m-a-p/CriticLeanGPT-Qwen3-8B-RL

updated a dataset about 13 hours ago

m-a-p/FineLeanCorpus

View all activity

Organizations

models 1

yyf12/qwen3_8b_sfr

Updated 18 days ago

datasets 0

None public yet