second-order-arithmetic

Here are 4 public repositories matching this topic...

I try to use Hessian-free optimization to train the deep neural network. The training is based on the MNIST data set.

Second order information based SGD

Final seminar for the Logic for CS class.

latex logic beamer second-order-arithmetic

Ph.D. thesis of Jared Corduan - Coloring Posets and Reverse Mathematics

theme math logic second-order-arithmetic forcing ramsey-property

To associate your repository with the second-order-arithmetic topic, visit your repo's landing page and select "manage topics."