Hugging Face's logo
Haoyu Zhao's picture
3 3

Haoyu Zhao

zzzzzhy
21world's profile picture dark-pen's profile picture
·
https://hyzhao.me

AI & ML interests

None yet

Recent Activity

authored a paper about 9 hours ago
Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates
authored a paper about 9 hours ago
Can Models Learn Skill Composition from Examples?
authored a paper about 9 hours ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
View all activity

Organizations

Goedel-LM's profile picture