CoolFace
Modelpublic

delimitter/synoema-iot-lite-1.5b-v2

sourceHugging Faceapache-2.0updated 5mo agoView on Hugging Face
0likes
Model Card

synoema-iot-lite-1.5b-v2

Language 0.1.0-beta.1

Code generator, not a chatbot. Give it an IoT automation task — it outputs Synoema code. Example: Turn on fan when temperature exceeds 30

Trained on Synoema — a formally verified functional language (GBNF + Hindley-Milner + contracts, prompt to native/WASM/IoT with no human review).

Evaluation

MetricValue
compile_pass97.1%
run_pass57.7%
Eval set104 examples
Methodgreedy (do_sample=False)
Language version0.1.0-beta.1

Quickstart

bash
wget https://huggingface.co/delimitter/synoema-iot-lite-1.5b-v2/resolve/main/synoema-iot-lite-1.5b-v2-q4km.gguf
wget https://huggingface.co/delimitter/synoema-iot-lite-1.5b-v2/resolve/main/Makefile
make pull
make run
make pull sets the system prompt automatically — required for correct behavior.
TargetAction
make pullCreate Ollama model + system prompt
make runInteractive chat
make cleanRemove from Ollama

Example prompts

Turn on fan when temperature exceeds 30
humidity > 80 -> turn on pump on GPIO 22
Turn off lights when no motion for 10 minutes
Open valve when pressure exceeds 150

Model details

FieldValue
Base modelQwen/Qwen2.5-Coder-1.5B-Instruct
Fine-tuningQLoRA SFT (LoRA r=16)
Size941 MB Q4KM
Language version0.1.0-beta.1

Links