TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

NN.Verification.LiRPA.ExampleInputs

LiRPA Example Inputs #

Deterministic centers and input boxes shared by the LiRPA examples.

source
def NN.Verification.LiRPA.ExampleInputs.naturalCenter (dim : ℕ) :
TorchLean.Tensor Float [dim]

Center vector [1, 2, ..., dim], used by the small deterministic LiRPA examples.

Instances For
    source
    def NN.Verification.LiRPA.ExampleInputs.seedInputBox (inputId dim : ℕ) (center : TorchLean.Tensor Float [dim]) (eps : Float) (ps : MLTheory.CROWN.Graph.ParamStore Float) :
    MLTheory.CROWN.Graph.ParamStore Float

    Insert an $L^\infty$ input box around center into a graph parameter store.

    Instances For
      source
      def NN.Verification.LiRPA.ExampleInputs.seedNaturalInputBox (inputId dim : ℕ) (eps : Float) (ps : MLTheory.CROWN.Graph.ParamStore Float) :
      MLTheory.CROWN.Graph.ParamStore Float

      Insert an $L^\infty$ input box around the center vector $[1,2,\ldots,\mathrm{dim}]$.

      Instances For