Yan Chuanhao's picture

9 2

Yan Chuanhao

SiniShell1

·

SiniShell1

AI & ML interests

None yet

Organizations

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

update DafnyCOMP paper related in readme

#3 opened 3 months ago by

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

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

#1 opened 5 months ago by

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

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

#1 opened 5 months ago by

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

Add comprehensive model card for Re:Form

#1 opened 5 months ago by

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

Add comprehensive model card for Re:Form

#1 opened 5 months ago by

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

Add model card for Re:Form

#1 opened 5 months ago by

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

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

#2 opened 5 months ago by

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

Add dataset card for Re:Form dataset

#1 opened 5 months ago by

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

Add comprehensive model card

#1 opened 5 months ago by