Certifiable Quant

Deterministic model quantization with formal error certificates for safety-critical ML