Fine-tuning 8b AI model on Ada/SPARK

[bladeacer]

Hmm it seems there has been similar fine-tuning done earlier on, I will take inspiration and learn from it

Steelman — a 14B model fine-tuned for Ada 2022 code generation (runs locally)

Hey all — I wanted to share a project I’ve been working on that I think this community might find useful. Steelman is a QLoRA fine-tune of Qwen2.5-Coder-14B-Instruct, trained specifically on compiler-verified Ada 2022 code. It runs locally (Ollama, llama.cpp, etc.) and doesn’t need a cloud API. I built it because every frontier model I tried was genuinely bad at Ada. Claude, GPT, Gemini — they all produce code that looks plausible but won’t compile. So I started generating Ada pairs, verifying…