Yan Chuanhao

SiniShell1's activity

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

New activity in Veri-Code/ReForm-DafnyComp-Benchmark 28 days ago

update DafnyCOMP paper related in readme

#3 opened 28 days ago by

XINLI1997

upvoted a paper 2 months ago

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

Paper • 2508.17445 • Published Aug 24 • 80

updated a model 2 months ago

SiniShell1/IMG-Ckpts

Updated Aug 20

published a model 3 months ago

SiniShell1/IMG-Ckpts

Updated Aug 20

New activity in Veri-Code/ReForm-SFT-0.5B 3 months ago

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

#1 opened 3 months ago by

nielsr

New activity in Veri-Code/ReForm-SFT-1.5B 3 months ago

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

#1 opened 3 months ago by

nielsr

New activity in Veri-Code/ReForm-SFT-3B 3 months ago

Add comprehensive model card for Re:Form

#1 opened 3 months ago by

nielsr

New activity in Veri-Code/ReForm-SFT-7B 3 months ago

Add comprehensive model card for Re:Form

#1 opened 3 months ago by

nielsr

New activity in Veri-Code/ReForm-14B-RL-entropy 3 months ago

Add model card for Re:Form

#1 opened 3 months ago by

nielsr

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

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

#2 opened 3 months ago by

nielsr

New activity in Veri-Code/ReForm-Python2Dafny-Dataset 3 months ago

Add dataset card for Re:Form dataset

#1 opened 3 months ago by

nielsr

authored 2 papers 3 months 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 • 20

New activity in Veri-Code/ReForm-SFT-14B 3 months ago

Add comprehensive model card

#1 opened 3 months ago by

nielsr

upvoted a paper 3 months 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 • 20

updated a dataset 3 months ago

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated 28 days ago • 300 • 49 • 1

published a dataset 3 months ago

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated 28 days ago • 300 • 49 • 1

updated a dataset 3 months ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 152 • 2

published a dataset 3 months ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated Jul 25 • 17.5k • 152 • 2

updated a model 3 months ago

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

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