Hugging Face model: delimitter/synoema-coder-3b-v2
Author: delimitter
Created: 2026-04-21 07:59:11
Last modified: 2026-04-22 12:31:22
Likes: 0 | Downloads: 0
Tags: safetensors, synoema, code-generation, lora, functional-language, formal-verification, en, base_model:Qwen/Qwen2.5-Coder-3B-Instruct, base_model:adapter:Qwen/Qwen2.5-Coder-3B-Instruct, license:apache-2.0, region:us
Base model relation: adapter
Base models: id: Qwen/Qwen2.5-Coder-3B-Instruct
Card metadata:
language: en
license: apache-2.0
tags: synoema, code-generation, lora, functional-language, formal-verification
base_model: Qwen/Qwen2.5-Coder-3B-Instruct
model_type: causal-lm