psilospore/convergence-of-gradient-descent-coq
ML Class Project for a proof of convergence of gradient descent
Coq
No issues in this repository yet.
ML Class Project for a proof of convergence of gradient descent
Coq
No issues in this repository yet.