dassarthak18
/

bitnet-fstar-finetuned

Text Generation

formal-verification

Model card Files Files and versions

dassarthak18 commited on 16 days ago

Commit

2b76a45

·

verified ·

1 Parent(s): 1a9693f

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -5,7 +5,7 @@ datasets:
 language:
 - en
 base_model:
-- microsoft/phi-2
 pipeline_tag: text-generation
 tags:
 - code

 language:
 - en
 base_model:
+- microsoft/bitnet-b1.58-2B-4T
 pipeline_tag: text-generation
 tags:
 - code