Yicheng He's picture

3 1

Yicheng He

bruno888

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

Self-Rewarding Vision-Language Model via Reasoning Decomposition

upvoted a paper 3 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

bruno888 's models

None public yet