Index

_

__add__() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) (boundlab.poly.PolyBoundGate method) __call__() (boundlab.diff.op.DiffLinear method) (boundlab.interp.Interpreter method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) __init__() (boundlab.diff.op.DiffLinear method) (boundlab.diff.zono3.DiffZonoBounds method) (boundlab.diff.zonosq3.DiffZonosqBounds method) (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.MakeTuple method) (boundlab.expr.Stack method) (boundlab.expr.TupleExpr method) (boundlab.interp.Interpreter method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) (boundlab.poly.PolyBoundGate method) (boundlab.poly.PolyBounds method) (boundlab.zono.ZonoBounds method) (boundlab.zonosq.QuadraticEpsilon method) (boundlab.zonosq.ZonoBounds method) (boundlab.zonosq.ZonosqExpr method)

__mul__() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) (boundlab.poly.PolyBoundGate method) __new__() (boundlab.diff.op.DiffLinear static method) (boundlab.expr.AffineSum static method) (boundlab.expr.ConstVal static method) (boundlab.expr.ExprFlags method) (boundlab.expr.GetTupleItem static method) (boundlab.linearop.ExpandOp static method) (boundlab.linearop.GetItemOp static method)

A

abs() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

add() (boundlab.zonosq.ZonosqExpr method) add_conditions() (boundlab.linearop.EinsumOp method) affine_sum() (boundlab.zonosq.ZonosqExpr method) AffineSum (class in boundlab.expr) all_subnodes() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) and_then() (boundlab.interp.Interpreter method) apply_without_error() (boundlab.zono.ZonoBounds method) (boundlab.zonosq.ZonoBounds method)

B

backward() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.MakeTuple method) (boundlab.expr.Stack method) (boundlab.expr.TupleExpr method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) (boundlab.poly.PolyBoundGate method) (boundlab.zonosq.QuadraticEpsilon method) bias (boundlab.zono.ZonoBounds attribute) (boundlab.zonosq.ZonoBounds attribute) bilinear_elementwise() (in module boundlab.zono) (in module boundlab.zonosq) bilinear_matmul() (in module boundlab.zono) (in module boundlab.zonosq) bound_width() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop)

bound_width_reasons_breakdown() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) boundlab module boundlab.diff module boundlab.diff.net module boundlab.diff.op module boundlab.diff.zono3 module boundlab.diff.zono3.expr module boundlab.diff.zonosq3 module boundlab.diff.zonosq3.expr module boundlab.expr module boundlab.gradlin module boundlab.interp module boundlab.linearop module boundlab.poly module boundlab.prop module boundlab.utils module boundlab.zono module boundlab.zonosq module

C

Cat() (in module boundlab.expr) center() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) child (boundlab.expr.GetTupleItem attribute) children (boundlab.expr.AffineSum property) (boundlab.expr.ConstVal property) (boundlab.expr.Expr property) (boundlab.expr.GetTupleItem property) (boundlab.expr.LpEpsilon property) (boundlab.expr.MakeTuple attribute) (boundlab.expr.MakeTuple property) (boundlab.expr.Stack property) (boundlab.expr.TupleExpr attribute) (boundlab.expr.TupleExpr property) (boundlab.poly.PolyBoundGate property) (boundlab.zonosq.QuadraticEpsilon property)

children_dict (boundlab.expr.ConstVal attribute) (boundlab.zonosq.ZonosqExpr attribute) ComposedOp (class in boundlab.linearop) constant (boundlab.zonosq.ZonosqExpr attribute) ConstVal (class in boundlab.expr)

D

diag() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) DiagOp (class in boundlab.linearop) diff_bilinear_elementwise() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) diff_bilinear_matmul() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) diff_bounds (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute) diff_net() (in module boundlab.diff.net)

diff_softmax_handler() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) diff_softmax_pruning_handler() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) diff_x_error (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute) diff_x_weights (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute) diff_y_error (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute) diff_y_weights (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute) DiffLinear (class in boundlab.diff.op) DiffZonoBounds (class in boundlab.diff.zono3) (in module boundlab.diff.zonosq3) DiffZonosqBounds (class in boundlab.diff.zonosq3)

E

einsum_op() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

EinsumOp (class in boundlab.linearop) eqprop() (in module boundlab.prop) error_coeffs (boundlab.zono.ZonoBounds attribute) (boundlab.zonosq.ZonoBounds attribute) exp_linearizer() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) expand() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) expand_on() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) ExpandOp (class in boundlab.linearop) Expr (class in boundlab.expr) expr_pretty_print() (in module boundlab.expr) ExprFlags (class in boundlab.expr)

F

flags (boundlab.expr.AffineSum attribute) (boundlab.expr.ConstVal attribute) (boundlab.expr.Expr attribute) (boundlab.expr.GetTupleItem attribute) (boundlab.expr.LpEpsilon attribute) (boundlab.expr.Stack attribute) (boundlab.poly.PolyBoundGate attribute) flatten() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) FlattenOp (class in boundlab.linearop) flip() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) FlipOp (class in boundlab.linearop) force_jacobian() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

forward() (boundlab.diff.op.DiffLinear method) (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method) from_full() (boundlab.linearop.EinsumOp static method) from_hardmard() (boundlab.linearop.EinsumOp static method) from_scalar() (boundlab.linearop.EinsumOp static method)

G

gather() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) GatherOp (class in boundlab.linearop) get_const() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

GetIndicesOp (class in boundlab.linearop) GetItemOp (class in boundlab.linearop) GetSliceOp (class in boundlab.linearop) GetTupleItem (class in boundlab.expr) gradlin() (in module boundlab.gradlin)

I

id (boundlab.expr.AffineSum attribute) (boundlab.expr.ConstVal attribute) (boundlab.expr.Expr attribute) (boundlab.expr.GetTupleItem attribute) (boundlab.expr.LpEpsilon attribute) (boundlab.expr.Stack attribute) (boundlab.poly.PolyBoundGate attribute) index (boundlab.expr.GetTupleItem attribute) (boundlab.expr.GetTupleItem property) input_attribution() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) input_shape (boundlab.linearop.ComposedOp attribute) (boundlab.linearop.DiagOp attribute) (boundlab.linearop.EinsumOp attribute) (boundlab.linearop.FlattenOp attribute) (boundlab.linearop.FlipOp attribute) (boundlab.linearop.GatherOp attribute) (boundlab.linearop.GetIndicesOp attribute) (boundlab.linearop.GetSliceOp attribute) (boundlab.linearop.LinearOp attribute) (boundlab.linearop.NarrowOp attribute) (boundlab.linearop.PadOp attribute) (boundlab.linearop.PermuteOp attribute) (boundlab.linearop.RepeatOp attribute) (boundlab.linearop.ReshapeOp attribute) (boundlab.linearop.RollOp attribute) (boundlab.linearop.ScalarOp attribute) (boundlab.linearop.ScatterOp attribute) (boundlab.linearop.SelectOp attribute) (boundlab.linearop.SetIndicesOp attribute) (boundlab.linearop.SetSliceOp attribute) (boundlab.linearop.SqueezeOp attribute) (boundlab.linearop.SumOp attribute) (boundlab.linearop.TileOp attribute) (boundlab.linearop.TransposeOp attribute) (boundlab.linearop.UnflattenOp attribute) (boundlab.linearop.UnsqueezeOp attribute) (boundlab.linearop.ZeroOp attribute)

input_smear() (in module boundlab.prop) input_weights (boundlab.zono.ZonoBounds attribute) (boundlab.zonosq.ZonoBounds attribute) interpret (in module boundlab.diff.zono3) (in module boundlab.poly) (in module boundlab.zono) Interpreter (class in boundlab.interp) IS_AFFINE (boundlab.expr.ExprFlags attribute) IS_CONST (boundlab.expr.ExprFlags attribute) is_full() (boundlab.linearop.EinsumOp method) is_hardmard() (boundlab.linearop.EinsumOp method) is_identity() (boundlab.linearop.ScalarOp method) is_non_expanding() (boundlab.linearop.EinsumOp method) is_symmetric_to_0() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) is_tensordot() (boundlab.linearop.EinsumOp method) items() (boundlab.interp.Interpreter method)

J

jacobian() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

jacobian_scatter() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

L

lb() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop)

like() (boundlab.linearop.ZeroOp static method) linearizer_to_hander() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) LinearOp (class in boundlab.linearop) lower_bias (boundlab.poly.PolyBounds attribute) lower_lam (boundlab.poly.PolyBounds attribute) LpEpsilon (class in boundlab.expr)

M

make_get_slices() (in module boundlab.linearop) make_set_slices() (in module boundlab.linearop) MakeTuple (class in boundlab.expr) matmul_handler() (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) max_bound_width() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) mean() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

merge_name() (in module boundlab.utils) module boundlab boundlab.diff boundlab.diff.net boundlab.diff.op boundlab.diff.zono3 boundlab.diff.zono3.expr boundlab.diff.zonosq3 boundlab.diff.zonosq3.expr boundlab.expr boundlab.gradlin boundlab.interp boundlab.linearop boundlab.poly boundlab.prop boundlab.utils boundlab.zono boundlab.zonosq mul_conditions (boundlab.linearop.EinsumOp property) mul_handler() (in module boundlab.poly)

N

narrow() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) narrow_indices() (in module boundlab.linearop) NarrowOp (class in boundlab.linearop) NONE (boundlab.expr.ExprFlags attribute) norm_input() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

norm_output() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

O

onnx_export() (in module boundlab.interp) ops (boundlab.expr.AffineSum attribute) output_shape (boundlab.linearop.ComposedOp attribute) (boundlab.linearop.DiagOp attribute) (boundlab.linearop.EinsumOp attribute) (boundlab.linearop.FlattenOp attribute) (boundlab.linearop.FlipOp attribute) (boundlab.linearop.GatherOp attribute) (boundlab.linearop.GetIndicesOp attribute) (boundlab.linearop.GetSliceOp attribute) (boundlab.linearop.LinearOp attribute) (boundlab.linearop.NarrowOp attribute) (boundlab.linearop.PadOp attribute) (boundlab.linearop.PermuteOp attribute) (boundlab.linearop.RepeatOp attribute) (boundlab.linearop.ReshapeOp attribute) (boundlab.linearop.RollOp attribute) (boundlab.linearop.ScalarOp attribute) (boundlab.linearop.ScatterOp attribute) (boundlab.linearop.SelectOp attribute) (boundlab.linearop.SetIndicesOp attribute) (boundlab.linearop.SetSliceOp attribute) (boundlab.linearop.SqueezeOp attribute) (boundlab.linearop.SumOp attribute) (boundlab.linearop.TileOp attribute) (boundlab.linearop.TransposeOp attribute) (boundlab.linearop.UnflattenOp attribute) (boundlab.linearop.UnsqueezeOp attribute) (boundlab.linearop.ZeroOp attribute)

P

pad_indices() (in module boundlab.linearop) pad_output_shape() (in module boundlab.linearop) PadOp (class in boundlab.linearop) pairs (boundlab.expr.AffineSum attribute) permute() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

permute_for_input() (boundlab.linearop.EinsumOp method) permute_for_output() (boundlab.linearop.EinsumOp method) PermuteOp (class in boundlab.linearop) PolyBoundGate (class in boundlab.poly) PolyBounds (class in boundlab.poly) PRINT_FUSE (boundlab.expr.ExprFlags attribute) product() (boundlab.interp.Interpreter method) purify() (boundlab.linearop.ComposedOp method) (boundlab.linearop.SumOp method) purify_with() (boundlab.linearop.ComposedOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.ScalarOp method)

Q

QuadraticEpsilon (class in boundlab.zonosq)

R

reciprocal_linearizer() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) register() (boundlab.interp.Interpreter method) relu_linearizer() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) remove_conditions() (boundlab.linearop.EinsumOp method) repeat() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) RepeatOp (class in boundlab.linearop) replace_subnode_once() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

reshape() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) ReshapeOp (class in boundlab.linearop) roll() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) RollOp (class in boundlab.linearop)

S

ScalarOp (class in boundlab.linearop) scatter() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) ScatterOp (class in boundlab.linearop) select_indices() (in module boundlab.linearop) SelectOp (class in boundlab.linearop) SetIndicesOp (class in boundlab.linearop) SetSliceOp (class in boundlab.linearop) shape (boundlab.expr.AffineSum property) (boundlab.expr.ConstVal property) (boundlab.expr.Expr property) (boundlab.expr.GetTupleItem property) (boundlab.expr.LpEpsilon property) (boundlab.expr.MakeTuple property) (boundlab.expr.Stack property) (boundlab.expr.TupleExpr property) (boundlab.poly.PolyBoundGate property) (boundlab.zonosq.QuadraticEpsilon property) simplify_ops_() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) softmax2_handler() (in module boundlab.zono) (in module boundlab.zonosq) softmax2_linearizer() (in module boundlab.zono) (in module boundlab.zonosq)

softmax_handler() (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) split_const() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) square_linearizer() (in module boundlab.poly) squeeze() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) squeeze_input() (boundlab.linearop.EinsumOp method) squeeze_output() (boundlab.linearop.EinsumOp method) SqueezeOp (class in boundlab.linearop) Stack (class in boundlab.expr) sum() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) sum_input() (boundlab.linearop.EinsumOp method) sum_output() (boundlab.linearop.EinsumOp method) SumOp (class in boundlab.linearop) SYMMETRIC_TO_0 (boundlab.expr.ExprFlags attribute)

T

T (boundlab.expr.AffineSum property) (boundlab.expr.ConstVal property) (boundlab.expr.Expr property) (boundlab.expr.GetTupleItem property) (boundlab.expr.LpEpsilon property) (boundlab.expr.Stack property) (boundlab.poly.PolyBoundGate property) tanh_linearizer() (in module boundlab.diff.zono3) (in module boundlab.diff.zonosq3) (in module boundlab.poly) (in module boundlab.zono) (in module boundlab.zonosq) tile() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) TileOp (class in boundlab.linearop)

to_string() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.MakeTuple method) (boundlab.expr.Stack method) (boundlab.expr.TupleExpr method) (boundlab.poly.PolyBoundGate method) (boundlab.zonosq.QuadraticEpsilon method) transpose() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) TransposeOp (class in boundlab.linearop) trapezoid_region() (in module boundlab.gradlin) tuple_expr (boundlab.expr.GetTupleItem property) TupleExpr (class in boundlab.expr)

U

ub() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) ublb() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) (in module boundlab.prop) uncertainty_reasons() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

unflatten() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) UnflattenOp (class in boundlab.linearop) unsqueeze() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method) unsqueeze_input() (boundlab.linearop.EinsumOp method) unsqueeze_output() (boundlab.linearop.EinsumOp method) UnsqueezeOp (class in boundlab.linearop) upper_bias (boundlab.poly.PolyBounds attribute) upper_lam (boundlab.poly.PolyBounds attribute)

V

vbackward() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

vforward() (boundlab.linearop.ComposedOp method) (boundlab.linearop.DiagOp method) (boundlab.linearop.EinsumOp method) (boundlab.linearop.FlattenOp method) (boundlab.linearop.FlipOp method) (boundlab.linearop.GatherOp method) (boundlab.linearop.GetIndicesOp method) (boundlab.linearop.GetSliceOp method) (boundlab.linearop.LinearOp method) (boundlab.linearop.NarrowOp method) (boundlab.linearop.PadOp method) (boundlab.linearop.PermuteOp method) (boundlab.linearop.RepeatOp method) (boundlab.linearop.ReshapeOp method) (boundlab.linearop.RollOp method) (boundlab.linearop.ScalarOp method) (boundlab.linearop.ScatterOp method) (boundlab.linearop.SelectOp method) (boundlab.linearop.SetIndicesOp method) (boundlab.linearop.SetSliceOp method) (boundlab.linearop.SqueezeOp method) (boundlab.linearop.SumOp method) (boundlab.linearop.TileOp method) (boundlab.linearop.TransposeOp method) (boundlab.linearop.UnflattenOp method) (boundlab.linearop.UnsqueezeOp method) (boundlab.linearop.ZeroOp method)

W

with_children() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.MakeTuple method) (boundlab.expr.Stack method) (boundlab.expr.TupleExpr method) (boundlab.poly.PolyBoundGate method) (boundlab.zonosq.QuadraticEpsilon method)

with_tensor() (boundlab.linearop.EinsumOp method)

X

x_bounds (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute)

Y

y_bounds (boundlab.diff.zono3.DiffZonoBounds attribute) (boundlab.diff.zonosq3.DiffZonosqBounds attribute)

Z

ZeroOp (class in boundlab.linearop) zeros_set() (boundlab.expr.AffineSum method) (boundlab.expr.ConstVal method) (boundlab.expr.Expr method) (boundlab.expr.GetTupleItem method) (boundlab.expr.LpEpsilon method) (boundlab.expr.Stack method) (boundlab.poly.PolyBoundGate method)

ZonoBounds (class in boundlab.zono) (class in boundlab.zonosq) zonosq_matmul() (in module boundlab.zonosq) zonosq_matmuls() (in module boundlab.zonosq) ZonosqExpr (class in boundlab.zonosq)