Yan Chuanhao's picture

9 2

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

new activity about 1 month ago

Veri-Code/ReForm-DafnyComp-Benchmark:update DafnyCOMP paper related in readme

upvoted a paper 2 months ago

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

updated a model 3 months ago

SiniShell1/IMG-Ckpts

View all activity

Organizations

authored 2 papers 3 months 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 • 20