boundlab.zono.matmul.precise_estimate

boundlab.zono.matmul.precise_estimate(x, y, block_size=128)

The DeepT-precise bound, computed in error-symbol blocks so the \(mn \cdot e^2\) pair tensor is never materialized (see boundlab.ops.deept.deept_precise_estimate()).