Idris2Doc : NN.Architectures.Transformer.Definition

NN.Architectures.Transformer.Definition

(source)

Definitions

Transformer : Numa=>Orda=> {autoac : NewAxisConsistentinputStructure [features]} ->TensorMonoid (inputStructure.cont) =>TensorMonoid (features.cont) =>AllAlgebra [inputStructure, features] a=> {defaultid_ : (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

Visibility: public export