Yan Chuanhao's picture

9 2

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

new activity 27 days 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 2 months ago

SiniShell1/IMG-Ckpts

View all activity

Organizations

upvoted a paper 2 months ago

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

Paper • 2508.17445 • Published Aug 24 • 80

upvoted a paper 3 months ago

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