synoema-iot-pro-7b-v1

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

Metric	Value
compile_pass	98.1%
run_pass	58.7%
Eval set	104 examples
Method	greedy (do_sample=False)
Language version	`0.1.0-beta.1`

Quickstart

wget https://huggingface.co/delimitter/synoema-iot-pro-7b-v1/resolve/main/synoema-iot-pro-7b-v1-q4km.gguf
wget https://huggingface.co/delimitter/synoema-iot-pro-7b-v1/resolve/main/Makefile
make pull
make run

make pull sets the system prompt automatically — required for correct behavior.

Target	Action
`make pull`	Create Ollama model + system prompt
`make run`	Interactive chat
`make clean`	Remove 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