TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.BinaryInterchange.Interval.Activations

Activation ranges for Model.Interval #

Monotone operations are evaluated at interval endpoints. Absolute value handles the two monotone regions separately, and square root uses directed rounding at both endpoints.

source
@[inline]
def FloatLib.Floats.Formats.BinaryInterchange.Model.Interval.relu {fmt : FloatFormat} (A : Interval fmt) :
Interval fmt

Sharp endpoint-grid image enclosure for ReLU.

Instances For
    source
    def FloatLib.Floats.Formats.BinaryInterchange.Model.Interval.abs {fmt : FloatFormat} (A : Interval fmt) :
    Interval fmt

    Image enclosure for absolute value.

    Intervals on the negative side are negated, positive intervals are preserved, and intervals crossing zero map to [0, max(-lo, hi)].

    Instances For
      source
      @[inline]
      def FloatLib.Floats.Formats.BinaryInterchange.Model.Interval.sqrt {fmt : FloatFormat} (A : Interval fmt) :
      Interval fmt

      Outward-rounded square-root image.

      The executable operation is total. A real-valued enclosure theorem additionally requires a conventional IEEE descriptor and a valid input interval with nonnegative lower endpoint.

      Instances For