Files:
config.ml
: MirageOS configuration file.simple_mnist.ml
: main logic of MNIST neural network.simple_mnist_weight.ml
: pre-trained weights of the neural network.
Information:
- Weight file size: 146KB.
- Model test accuracy: 92%.
- MirageOS: compile with Unix backend. The generated binary is 10MB. The other backends are not tested yet.
Usage:
mirage configure -t unix && make && ./main.native