Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
delimitter
/
synoema-coder-3b-v2
like
0
Safetensors
English
synoema
code-generation
lora
functional-language
formal-verification
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
synoema-coder-3b-v2
251 MB
Ctrl+K
Ctrl+K
1 contributor
History:
7 commits
delimitter
Add model card
e84fde7
verified
2 months ago
.gitattributes
Safe
1.57 kB
Add LoRA adapter weights
2 months ago
Makefile
Safe
2.24 kB
Add Makefile: merge + convert + ollama quickstart
2 months ago
README.md
Safe
3.15 kB
Add model card
2 months ago
adapter_config.json
Safe
1.2 kB
Add LoRA adapter weights
2 months ago
adapter_model.safetensors
Safe
240 MB
xet
Add LoRA adapter weights
2 months ago
chat_template.jinja
Safe
2.51 kB
Add LoRA adapter weights
2 months ago
sft_summary.json
Safe
331 Bytes
Add LoRA adapter weights
2 months ago
tokenizer.json
Safe
11.4 MB
xet
Add LoRA adapter weights
2 months ago
tokenizer_config.json
Safe
403 Bytes
Add LoRA adapter weights
2 months ago
