columbia, mo

brett koonce

Expert
@brettkoonce

pobody's nerfect

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

23

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

1

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

1

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

1
4
Apply