Yicheng He's picture

3 1

Yicheng He

bruno888

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Self-Rewarding Vision-Language Model via Reasoning Decomposition

upvoted a paper 2 days ago

Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers

upvoted a paper about 2 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

View all activity

Organizations

None yet

liked a model 8 months ago

deepseek-ai/DeepSeek-R1

Text Generation • 685B • Updated Mar 27 • 368k • • 12.7k