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

Yan Chuanhao

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

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

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