Yan Chuanhao

SiniShell1's activity

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

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

update DafnyCOMP paper related in readme

#3 opened about 2 months ago by

XINLI1997

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

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

#1 opened 4 months ago by

nielsr

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

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

#1 opened 4 months ago by

nielsr

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

Add comprehensive model card for Re:Form

#1 opened 4 months ago by

nielsr

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

Add comprehensive model card for Re:Form

#1 opened 4 months ago by

nielsr

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

Add model card for Re:Form

#1 opened 4 months ago by

nielsr

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

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

#2 opened 4 months ago by

nielsr

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

Add dataset card for Re:Form dataset

#1 opened 4 months ago by

nielsr

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

Add comprehensive model card

#1 opened 4 months ago by

nielsr