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

Haoyu Zhao

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

AI & ML interests

None yet

Recent Activity

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

Organizations

Goedel-LM's profile picture