Research Article

A Machine Learning Gateway for Scientific Workflow Design

Figure 7

An example of the formal specification for a neural network layer in Keras alongside an instance of the given layer. (a) Formal specification for a neural network dense layer and (b) an instance of the dense layer.
(a)
(b)