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=1b25c8668d428bcfc83c95147b6e45ff0a3bfa05ecd11369d12e963e29819e2e

sha512=edc7d7c0e96802811de3cb1caa3d14cc3d867ee7310748e8188eca9246a362549545c7816c8037511931dc4b7770b5ccc11b0d03abe8843b7c4db7880bf8e1fd

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