Yan Chuanhao

SiniShell1's activity

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

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

update DafnyCOMP paper related in readme

#3 opened 12 months ago by

XINLI1997

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

nielsr

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

nielsr

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

nielsr

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

nielsr

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

nielsr

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

nielsr

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

Add dataset card for Re:Form dataset

#1 opened about 1 year ago by

nielsr

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

Add comprehensive model card

#1 opened about 1 year ago by

nielsr