brett koonce

lean4-mlir. Lean specification of neural architectures with verified IREE codegen.

fastai. The fast.ai deep learning library, lessons, and tutorials

mobilenet-tfjs. Demo of using a mobilenet network with tensorflow.js as a cloud function to perform image recognition from the command line.

mnist-lean4. Trains a MLP/CNN on the MNIST dataset using Lean4.