delimitter
/

synoema-coder-3b-v2

code-generation

functional-language

formal-verification

Model card Files Files and versions

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

Commit History

Add LoRA adapter weights

46ced75
verified

delimitter commited on Apr 21