Yan Chuanhao's picture

8 2

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling

updated a model 10 days ago

SiniShell1/IMG-Ckpts

published a model 18 days ago

SiniShell1/IMG-Ckpts

View all activity

Organizations

authored 2 papers about 1 month ago

Diff-Foley: Synchronized Video-to-Audio Synthesis with Latent Diffusion Models

Paper • 2306.17203 • Published Jun 29, 2023

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22 • 18