Haskell Programming With Tests, and Some Alloy

From Attention in Transformers to Dynamic Routing in Capsule Nets