🤏 smolified-krackhack26verilog

Intelligence, Distilled.

This is a Domain Specific Language Model (DSLM) generated by the Smolify Foundry.

It has been synthetically distilled from SOTA reasoning engines into a high-efficiency architecture, optimized for deployment on edge hardware (CPU/NPU) or low-VRAM environments.

📦 Asset Details

• Origin: Smolify Foundry (Job ID: 0add2743)
• Architecture: DSLM-Micro (270M Parameter Class)
• Training Method: Proprietary Neural Distillation
• Optimization: 4-bit Quantized / FP16 Mixed
• Dataset: Link to Dataset

🚀 Usage (Inference)

This model is compatible with standard inference backends like vLLM.

# Example: Running your Sovereign Model
from transformers import AutoModelForCausalLM, AutoTokenizer

model_id = "smolify/smolified-krackhack26verilog"
tokenizer = AutoTokenizer.from_pretrained(model_id)
model = AutoModelForCausalLM.from_pretrained(model_id, device_map="auto")

messages = [
    {'role': 'system', 'content': '''The user will describe a digital circuit. Your task is to generate synthesizable Verilog code that implements the described circuit for FPGA synthesis. Ensure all code is synthesizable and follows good Verilog practices.'''},
    {'role': 'user', 'content': '''I need a full adder. You know, like, three inputs (A, B, Carry_In) and two outputs (Sum, Carry_Out). Basic stuff.'''}
]
text = tokenizer.apply_chat_template(
    messages,
    tokenize = False,
    add_generation_prompt = True,
).removeprefix('<bos>')

from transformers import TextStreamer
_ = model.generate(
    **tokenizer(text, return_tensors = "pt").to("cuda"),
    max_new_tokens = 1000,
    temperature = 1, top_p = 0.95, top_k = 64,
    streamer = TextStreamer(tokenizer, skip_prompt = True),
)

⚖️ License & Ownership

This model weights are a sovereign asset owned by smolify. Generated via Smolify.ai.