Yan, Chuanhao

3 publications

TMLR 2026 Re:Form --- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny Chuanhao Yan, Fengdi Che, Xuhan Huang, Xu Xu, Xin Li, Yizhi Li, Xingwei Qu, Jingzhe Shi, Chenghua Lin, Yaodong Yang, Binhang Yuan, Hang Zhao, Yu Qiao, Bowen Zhou, Jie Fu

ICCV 2025 IMG: Calibrating Diffusion Models via Implicit Multimodal Guidance Jiayi Guo, Chuanhao Yan, Xingqian Xu, Yulin Wang, Kai Wang, Gao Huang, Humphrey Shi

NeurIPS 2023 Diff-Foley: Synchronized Video-to-Audio Synthesis with Latent Diffusion Models Simian Luo, Chuanhao Yan, Chenxu Hu, Hang Zhao