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

Dune Dependency

git.frama-c.com Readme Changelog Edit opam file Versions (7)

Authors

A

AISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

A

AISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-4.0.tbz

sha256=58ba1e38721795b306c860b56aaeba971be586cd55fb96e3ec8af72dd005101b

sha512=f1b3b9899660745598cebe7ecb52a39e9e16dcb7352381ea75a80d2afa988437130c00bf66355991421d4cb3dc06b02c185f7d4bdcc1c86dfcde8084bd01a654

doc/caisar.nir/Nir/Tensor/index.html

Module `Nir.Tensor`Source

Immutable tensor module

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 create_const_float : Shape.t -> float -> (float, Bigarray.float64_elt) t

create_const_float shape v returns a tensor of shape shape where each value is initialized to v.

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.

Source

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