Yan Chuanhao's picture

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

Veri-Code/ReForm-Python2Dafny-Dataset

updated a dataset 1 day ago

Veri-Code/ReForm-DafnyComp-Benchmark

updated a model 1 day ago

Veri-Code/ReForm-14B-RL-entropy

View all activity

Organizations

Papers 2

arxiv:2507.16331

arxiv:2306.17203

models 1

SiniShell1/IMG-Ckpts

Updated Aug 20, 2025

datasets 0

None public yet