Skip to main content
Ctrl+K

BoundLab

  • Getting Started
  • User Guide
  • Examples
  • API Reference
  • Contributing
  • GitHub
  • 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.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.PermuteOp
      • boundlab.linearop.TransposeOp
      • boundlab.linearop.SqueezeOp
      • boundlab.linearop.UnsqueezeOp
      • boundlab.linearop.ExpandOp
      • boundlab.linearop.RepeatOp
      • boundlab.linearop.TileOp
      • boundlab.linearop.FlipOp
      • boundlab.linearop.RollOp
      • boundlab.linearop.DiagOp
      • boundlab.linearop.GatherOp
      • boundlab.linearop.ScatterOp
      • boundlab.linearop.GetIndicesOp
      • boundlab.linearop.SetIndicesOp
      • boundlab.linearop.GetSliceOp
      • boundlab.linearop.SetSliceOp
      • boundlab.linearop.NarrowOp
      • boundlab.linearop.SelectOp
      • boundlab.linearop.GetItemOp
      • boundlab.linearop.PadOp
    • boundlab.expr
      • boundlab.expr.expr_pretty_print
      • boundlab.expr.Add
      • boundlab.expr.Expr
      • boundlab.expr.ExprFlags
      • boundlab.expr.ConstVal
      • boundlab.expr.AffineSum
      • boundlab.expr.LpEpsilon
      • boundlab.expr.Cat
      • boundlab.expr.Stack
    • boundlab.prop
      • boundlab.prop.ub
      • boundlab.prop.lb
      • boundlab.prop.ublb
    • boundlab.interp
      • 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.ZonoBounds
    • boundlab.poly
    • boundlab.diff
      • boundlab.diff.zono3
        • boundlab.diff.zono3.interpret
        • boundlab.diff.zono3.relu_linearizer
      • boundlab.diff.op
        • boundlab.diff.op.diff_pair
        • boundlab.diff.op.DiffLinear
      • boundlab.diff.expr
        • boundlab.diff.expr.DiffExpr2
        • boundlab.diff.expr.DiffExpr3
      • boundlab.diff.net
        • boundlab.diff.net.diff_net
    • boundlab.utils
      • boundlab.utils.merge_name
      • boundlab.utils.onnx_export
      • boundlab.utils.TypeVar
  • API Reference
  • boundlab
  • boundlab.poly

boundlab.poly#

previous

boundlab.zono.ZonoBounds

next

boundlab.diff

Edit on GitHub

© Copyright 2024, BoundLab Authors.

Created using Sphinx 9.1.0.

Built with the PyData Sphinx Theme 0.16.1.