Binhang Yuan

Binhang Yuan on Hugging Face Daily Papers: 5 papers, 2 in the top 3 of their day, 146 upvotes.

1. 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
2. AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning 22 upvotes, #12 of 2025-06-03
3. Multi-Agent Collaborative Data Selection for Efficient LLM Pretraining 17 upvotes, #6 of 2024-10-14
4. Adding NVMe SSDs to Enable and Accelerate 100B Model Fine-tuning on a Single GPU 51 upvotes, #2 of 2024-03-12
5. Deja Vu: Contextual Sparsity for Efficient LLMs at Inference Time 14 upvotes, #3 of 2023-10-27

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.