Haoyu Zhao

Haoyu Zhao on Hugging Face Daily Papers: 2 papers, 0 in the top 3 of their day, 24 upvotes.

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction 10 upvotes, #10 of 2025-08-06
2. Can Models Learn Skill Composition from Examples? 7 upvotes, #11 of 2024-10-01

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.