random_tnn : (term * int list) list -> tnn

- STRUCTURE
- SYNOPSIS
- Creates a random tree neural network (TNN) with the precised dimensions for each neural network operators.
- DESCRIPTION
- To create an initial TNN, the user first needs to gather all operators (constants or variables) appearing in the examples. Then, given an embedding dimension d, for each operator f with arity a the list of dimensions of is to be defined as [a x d,u1,...,uk,d]. The natural numbers u1,...,uk are sizes of the intermediate layers that can be freely chosen by the user. In the case of a head operator h, the input dimension is to be d and the output dimension is to be the length of the objective l.
- FAILURE
- Fails if the list of dimensions is empty.
- EXAMPLE
- val tnn = random_tnn [(``h: bool -> bool``,[4,10,1]),(``$~``,[4,8,4]),(F,[0,4])]; > val tnn = <Redblackmap(3)>: tnn

- COMMENTS
- Precising a list of dimensions of length 1 results in an unusable empty neural network for this operator.
- SEEALSO

HOL Kananaskis-14