package caisar

You can search for identifiers within the package.

in-package search v0.2.0

A platform for characterizing the safety and robustness of artificial intelligence based software

Install

sha256=3d24d2940eed0921acba158a8970687743c401c6a99d0aac8ed6dcfedca1429c

sha512=0b4484c0e080b8ba22722fe9d5665f9015ebf1648ac89c566a978dd54e3e061acb63edd92e078eed310e26f3e8ad2c48f3682a24af2acb1f0633da12f7966a38

Tensors are multidimensional arrays used to represent numerical such as a neural network paramters.

This library relies on Bigarray.Genarray to instanciante tensors.

get t idx returns the value in tensor t stored at coordinates idx. Throw an error if the coordinate is invalid.

set_idx t idx v sets value v for tensor t at idx. Throw an error if the coordinate is invalid.

Sourcetype ('a, 'b) t

Sourceval of_tensor : ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t -> ('a, 'b) t

Sourceval to_tensor : ('a, 'b) t -> ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t

Sourceval create_1_float : float -> (float, Bigarray.float64_elt) t

create_1_float f returns an unidimentional tensor with one floating point value f.

Sourceval create_1_int64 : int64 -> (int64, Bigarray.int64_elt) t

create_1_int64 i returns an unidimentional tensor with one int64 value i.

Sourceval shape : ('a, 'b) t -> Shape.t

Sourceval flatten : ('a, 'b) t -> 'a list

flatten t returns all values stored in t as a flat list.

val of_array1 : 
  Shape.t ->
  ('a, 'b, Bigarray.c_layout) Bigarray.Array1.t ->
  ('a, 'b) t

val reshape : 
  Shape.t ->
  ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t ->
  ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t

Sourceval get : ('a, 'b) t -> int array -> 'a

get t sh returns the value stored at coordinates sh in t.

raises Invalid_argument
if sh does not exactly match the shape of t, or if sh is out-of-bounds.

On This Page