dassarthak18
/

bitnet-fstar-finetuned

Text Generation

formal-verification

Model card Files Files and versions

bitnet-fstar-finetuned

4.85 GB

1 contributor

History: 12 commits

dassarthak18's picture

Update README.md

dc22566 verified 15 days ago