delimitter
/

synoema-coder-3b-v2

code-generation

functional-language

formal-verification

Model card Files Files and versions

synoema-coder-3b-v2 / tokenizer.json

Commit History

Apr 21

08:00
Add LoRA adapter weights

delimitter

Verified signature
46ced75