GGUF quantized version of the SMOLM2Prover model for use with llama.cpp and compatible runtimes.
1# Run with the quantized model
2./llama-cli -m SMOLM2Prover-Q4_K_M.gguf -p "Your prompt here" -n 256
1ollama create smolm2prover -f Modelfile
2ollama run smolm2prover
This model is part of the
Convergent Intelligence LLC: Research Division portfolio. All models in this portfolio are developed under the Discrepancy Calculus (DISC) framework — a measure-theoretic approach to understanding and controlling the gap between what a model
should produce and what it
actually produces.
DISC treats training singularities (loss plateaus, mode collapse, catastrophic forgetting) not as failures to be smoothed over, but as structural signals that reveal the geometry of the learning problem. Key concepts:
For the full mathematical treatment, see
Discrepancy Calculus: Foundations and Core Theory (DOI: 10.57967/hf/8194).
Citation chain: Structure Over Scale (DOI: 10.57967/hf/8165) →
Three Teachers to Dual Cognition (DOI: 10.57967/hf/8184) →
Discrepancy Calculus (DOI: 10.57967/hf/8194)
Same as the original model.
DistilQwen Collection — Our only BF16 series. Proof-weighted distillation from Qwen3-30B-A3B → 1.7B and 0.6B on H100. Three teacher variants (Instruct, Thinking, Coder), nine models, 2,788 combined downloads. The rest of the portfolio proves structure beats scale on CPU. This collection shows what happens when you give the methodology real hardware.
