FloatApprox

Finite absolute-tolerance comparisons for PINN artifacts and leaf witness-margin bookkeeping. IBP interval containment and CROWN binary32 replay use separate, tolerance-free comparisons. An approximate match here is not a proof that an interval encloses every real execution.

def NN.Verification.Util.approxEq (x y : Float) (tol : Float := 1e-6) : Bool

Absolute-difference comparison on Float.