Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Recent Activity

liked a model about 24 hours ago

IQuestLab/IQuest-Q1

liked a Space about 2 months ago

veri-safe/SWD-Blog

updated a dataset 5 months ago

Veri-Code/ReForm-Python2Dafny-Dataset

View all activity

Organizations

liked a model about 24 hours ago

IQuestLab/IQuest-Q1

Text Generation • 320B • Updated about 20 hours ago • 130 • 117

liked a Space about 2 months ago

Sparse Weight Decomposition

Efficient circuit extraction via sparse weight decomposition

updated 2 datasets 5 months ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated May 7 • 17.5k • 87 • 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated May 7 • 300 • 69 • 1

updated 6 models 5 months ago

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

Text Generation • 15B • Updated May 7 • 29 • 3

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated May 7 • 26 • 1

Veri-Code/ReForm-SFT-7B

Text Generation • 8B • Updated May 7 • 27 • 1

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated May 7 • 21 • 1

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated May 7 • 20

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated May 7 • 21

New activity in Veri-Code/ReForm-DafnyComp-Benchmark 12 months ago

update DafnyCOMP paper related in readme

#3 opened 12 months ago by

upvoted a paper about 1 year ago

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

Paper • 2508.17445 • Published Aug 24, 2025 • 80

updated a model about 1 year ago

SiniShell1/IMG-Ckpts

Updated Aug 20, 2025

published a model about 1 year ago

SiniShell1/IMG-Ckpts

Updated Aug 20, 2025

New activity in Veri-Code/ReForm-SFT-0.5B about 1 year ago

Improve model card for Re:Form: add metadata, links, and usage example

#1 opened about 1 year ago by

New activity in Veri-Code/ReForm-SFT-1.5B about 1 year ago

Add comprehensive model card including paper, code, and usage with relevant tags

#1 opened about 1 year ago by

New activity in Veri-Code/ReForm-SFT-3B about 1 year ago

Add comprehensive model card for Re:Form

#1 opened about 1 year ago by

New activity in Veri-Code/ReForm-SFT-7B about 1 year ago

Add comprehensive model card for Re:Form

#1 opened about 1 year ago by

New activity in Veri-Code/ReForm-14B-RL-entropy about 1 year ago

Add model card for Re:Form

#1 opened about 1 year ago by

New activity in Veri-Code/ReForm-DafnyComp-Benchmark about 1 year ago

Add dataset card for Re:Form datasets with metadata and links

#2 opened about 1 year ago by