delimitter
/

synoema-coder-3b-v2

code-generation

functional-language

formal-verification

Model card Files Files and versions

synoema-coder-3b-v2

Commit History

Add model card

e84fde7
verified

delimitter commited on Apr 22

Update README: Makefile section, Python usage, Ollama quickstart

839c924
verified

delimitter commited on Apr 21

Add Makefile: merge + convert + ollama quickstart

0de96b3
verified

delimitter commited on Apr 21

Add Synoema version 0.1.0-beta.1 to model card

02e942d
verified

delimitter commited on Apr 21

Add LoRA adapter weights

46ced75
verified

delimitter commited on Apr 21

Add model card

0bbc3b3
verified

delimitter commited on Apr 21

initial commit

c0270e1
verified

delimitter commited on Apr 21