Skip to main content
Back to top
Ctrl
+
K
BoundLab
Getting Started
User Guide
Examples
API Reference
Contributing
Search
Ctrl
+
K
GitHub
Search
Ctrl
+
K
Getting Started
User Guide
Examples
API Reference
Contributing
GitHub
Section Navigation
boundlab
boundlab.linearop
boundlab.linearop.narrow_indices
boundlab.linearop.select_indices
boundlab.linearop.pad_indices
boundlab.linearop.pad_output_shape
boundlab.linearop.make_get_slices
boundlab.linearop.make_set_slices
boundlab.linearop.LinearOp
boundlab.linearop.ComposedOp
boundlab.linearop.SumOp
boundlab.linearop.ScalarOp
boundlab.linearop.ZeroOp
boundlab.linearop.EinsumOp
boundlab.linearop.ReshapeOp
boundlab.linearop.FlattenOp
boundlab.linearop.UnflattenOp
boundlab.linearop.SqueezeOp
boundlab.linearop.UnsqueezeOp
boundlab.linearop.PermuteOp
boundlab.linearop.TransposeOp
boundlab.linearop.ExpandOp
boundlab.linearop.RepeatOp
boundlab.linearop.TileOp
boundlab.linearop.FlipOp
boundlab.linearop.RollOp
boundlab.linearop.DiagOp
boundlab.linearop.GetSliceOp
boundlab.linearop.SetSliceOp
boundlab.linearop.GetIndicesOp
boundlab.linearop.SetIndicesOp
boundlab.linearop.GatherOp
boundlab.linearop.ScatterOp
boundlab.linearop.NarrowOp
boundlab.linearop.SelectOp
boundlab.linearop.GetItemOp
boundlab.linearop.PadOp
boundlab.expr
boundlab.expr.expr_pretty_print
boundlab.expr.Add
boundlab.expr.Cat
boundlab.expr.Expr
boundlab.expr.ExprFlags
boundlab.expr.ConstVal
boundlab.expr.AffineSum
boundlab.expr.LpEpsilon
boundlab.expr.Stack
boundlab.expr.TupleExpr
boundlab.expr.MakeTuple
boundlab.expr.GetTupleItem
boundlab.prop
boundlab.prop.ub
boundlab.prop.lb
boundlab.prop.ublb
boundlab.prop.center
boundlab.prop.bound_width
boundlab.prop.max_bound_width
boundlab.prop.bound_width_reasons_breakdown
boundlab.prop.eqprop
boundlab.interp
boundlab.interp.onnx_export
boundlab.interp.Interpreter
boundlab.zono
boundlab.zono.interpret
boundlab.zono.relu_linearizer
boundlab.zono.exp_linearizer
boundlab.zono.reciprocal_linearizer
boundlab.zono.tanh_linearizer
boundlab.zono.bilinear_matmul
boundlab.zono.bilinear_elementwise
boundlab.zono.matmul_handler
boundlab.zono.softmax_handler
boundlab.zono.softmax2_handler
boundlab.zono.softmax2_linearizer
boundlab.zono.ZonoBounds
boundlab.poly
boundlab.poly.interpret
boundlab.poly.relu_linearizer
boundlab.poly.exp_linearizer
boundlab.poly.reciprocal_linearizer
boundlab.poly.tanh_linearizer
boundlab.poly.square_linearizer
boundlab.poly.softmax_handler
boundlab.poly.matmul_handler
boundlab.poly.mul_handler
boundlab.poly.PolyBoundGate
boundlab.poly.PolyBounds
boundlab.diff
boundlab.diff.zono3
boundlab.diff.zono3.interpret
boundlab.diff.zono3.linearizer_to_hander
boundlab.diff.zono3.relu_linearizer
boundlab.diff.zono3.tanh_linearizer
boundlab.diff.zono3.exp_linearizer
boundlab.diff.zono3.reciprocal_linearizer
boundlab.diff.zono3.diff_bilinear_elementwise
boundlab.diff.zono3.diff_bilinear_matmul
boundlab.diff.zono3.diff_softmax_handler
boundlab.diff.zono3.diff_heaviside_pruning_handler
boundlab.diff.zono3.DiffZonoBounds
boundlab.diff.zono3.expr
boundlab.diff.op
boundlab.diff.op.DiffLinear
boundlab.diff.net
boundlab.diff.net.diff_net
boundlab.utils
boundlab.utils.merge_name
boundlab.gradlin
boundlab.gradlin.gradlin
boundlab.gradlin.trapezoid_region
API Reference
boundlab
boundlab.diff
boundlab.diff.zono3
boundlab.diff.zono3.expr
boundlab.diff.zono3.expr.DiffExpr2
boundlab.diff.zono3.expr.DiffExpr2
#
Edit on GitHub