Haoyu Zhao's picture

Haoyu Zhao

zzzzzhy

·

https://hyzhao.me

AI & ML interests

None yet

Recent Activity

authored a paper 3 days ago

Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates

authored a paper 3 days ago

Can Models Learn Skill Composition from Examples?

authored a paper 3 days ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

View all activity

Organizations

zzzzzhy 's papers 9

arxiv:2603.19329

arxiv:2602.09464

arxiv:2602.04288

arxiv:2508.03613

arxiv:2507.15887

arxiv:2505.12680

arxiv:2409.19808

arxiv:2402.18540

arxiv:2302.06600