Yan Chuanhao's picture

8 1

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

updated a model about 18 hours ago

SiniShell1/IMG-Ckpts

published a model about 18 hours ago

SiniShell1/IMG-Ckpts

new activity 19 days ago

Veri-Code/ReForm-SFT-0.5B:Improve model card for Re:Form: add metadata, links, and usage example

View all activity

Organizations

authored 2 papers 19 days 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 22 days ago • 18