Hugging Face's logo
Yan Chuanhao's picture
9 2

Yan Chuanhao

SiniShell1
bigaidream's profile picture FengdiFlo's profile picture
·

AI & ML interests

None yet

Recent Activity

new activity about 2 months ago
Veri-Code/ReForm-DafnyComp-Benchmark:update DafnyCOMP paper related in readme
upvoted a paper 3 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

SHI Labs's profile picture Veri-Code's profile picture