Proven Small models whose output is checked by a compiler, prover or model checker. jgalego/ada-coder-qwen2.5-1.5b Text Generation • 2B • Updated 8 days ago • 277 jgalego/ada-coder-qwen2.5-7b Text Generation • 8B • Updated 8 days ago • 263
Mayday Small models for aviation and safety engineering. Research aids, not certified. jgalego/notam-subject-qwen3.5-0.8b Text Generation • 0.8B • Updated 9 days ago • 221 jgalego/reqlint-smollm3-3b Text Generation • 3B • Updated 7 days ago • 240 jgalego/reqlint-real Viewer • Updated 9 days ago • 128 • 33 jgalego/c172-flight-dynamics 562k • Updated 9 days ago • 7
Proven Small models whose output is checked by a compiler, prover or model checker. jgalego/ada-coder-qwen2.5-1.5b Text Generation • 2B • Updated 8 days ago • 277 jgalego/ada-coder-qwen2.5-7b Text Generation • 8B • Updated 8 days ago • 263
Mayday Small models for aviation and safety engineering. Research aids, not certified. jgalego/notam-subject-qwen3.5-0.8b Text Generation • 0.8B • Updated 9 days ago • 221 jgalego/reqlint-smollm3-3b Text Generation • 3B • Updated 7 days ago • 240 jgalego/reqlint-real Viewer • Updated 9 days ago • 128 • 33 jgalego/c172-flight-dynamics 562k • Updated 9 days ago • 7