Certifiable Inference

Deterministic, bit-perfect neural network inference for safety-critical systems