certifiable-bench

Performance benchmarking for deterministic ML — because 'fast' means nothing if you can't prove it's correct