Yan Chuanhao

SiniShell1's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 2 days ago

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

Paper • 2508.17445 • Published 5 days ago • 70

updated a model 9 days ago

SiniShell1/IMG-Ckpts

Updated 9 days ago

published a model 17 days ago

SiniShell1/IMG-Ckpts

Updated 9 days ago

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

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

#1 opened about 1 month ago by

nielsr

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

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

#1 opened about 1 month ago by

nielsr

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

Add comprehensive model card for Re:Form

#1 opened about 1 month ago by

nielsr

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

Add comprehensive model card for Re:Form

#1 opened about 1 month ago by

nielsr

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

Add model card for Re:Form

#1 opened about 1 month ago by

nielsr

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

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

#2 opened about 1 month ago by

nielsr

New activity in Veri-Code/ReForm-Python2Dafny-Dataset about 1 month ago

Add dataset card for Re:Form dataset

#1 opened about 1 month ago by

nielsr

authored 2 papers about 1 month ago

Diff-Foley: Synchronized Video-to-Audio Synthesis with Latent Diffusion Models

Paper • 2306.17203 • Published Jun 29, 2023

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22 • 18

New activity in Veri-Code/ReForm-SFT-14B about 1 month ago

Add comprehensive model card

#1 opened about 1 month ago by

nielsr

upvoted a paper about 1 month ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22 • 18

updated a dataset about 1 month ago

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Jul 25 • 300 • 163 • 1

published a dataset about 1 month ago

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated Jul 25 • 300 • 163 • 1

updated a dataset about 1 month ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 116 • 1

published a dataset about 1 month ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 116 • 1

updated a model about 1 month ago

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

Text Generation • 15B • Updated Jul 25 • 12 • 2

published a model about 1 month ago

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

Text Generation • 15B • Updated Jul 25 • 12 • 2