Idris2Doc : NN.Architectures.Transformer.Definition

NN.Architectures.Transformer.Definition

(source)

Definitions

Transformer : Num a => Ord a => {auto ac : ConsistentWith inputStructure [features]} -> TensorMonoid (inputStructure .cont) => TensorMonoid (features .cont) => AllAlgebra [inputStructure, features] a => {default id _ : (Tensor [inputStructure, inputStructure] a -> Tensor [inputStructure, inputStructure] a)} -> (Tensor [inputStructure] a -> Tensor [inputStructure] a) -> Tensor [inputStructure, features] a -\-> Tensor [inputStructure, features] a
  Single-head transformer layer
Only missing layernorm, otherwise a complete definition

Totality: total
Visibility: public export