Typed-MLP

A dependently typed MLP network with Back Propagation learning

Usage

See the ./examples folder for the dataset and parameter format

• train.txt specifies the training dataset
  • each row corresponds to one pattern
  • each pattern contains the inputs and outputs joined in one line
• test.txt specifies the testing dataset
  • format identical to training set
• params.json specifies the training parameters