Rui Pan

Rui Pan on Hugging Face Daily Papers: 3 papers, 2 in the top 3 of their day, 168 upvotes.

1. AgentSPEX: An Agent SPecification and EXecution Language 160 upvotes, #2 of 2026-04-22
2. GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving 25 upvotes, #16 of 2025-10-14
3. Personalized Visual Instruction Tuning 66 upvotes, #3 of 2024-10-10

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.