Yan Chuanhao's picture

9 2

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

new activity 28 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

Papers 2

arxiv:2507.16331

arxiv:2306.17203

models 1

SiniShell1/IMG-Ckpts

datasets 0

None public yet