Yicheng He

Yicheng He on Hugging Face Daily Papers: 3 papers, 0 in the top 3 of their day, 51 upvotes.

1. Understanding Embedding Scaling in Collaborative Filtering 5 upvotes, #22 of 2025-09-23
2. Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers 22 upvotes, #8 of 2025-09-05
3. Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny 17 upvotes, #7 of 2025-07-24

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.