In-progress |
|
|
verifiNN |
Python project for verifying robustness of neural networks using optimization methods |
|
Completed |
|
|
paper |
Reseach work characterizing the complex critical points of deep linear neural networks from an algebraic geometric viewpoint |
|
masters thesis |
Research work exploring the connections between algebraic geometry and deep learning |
|
homotopy_continuatioNN |
Julia application for generating and solving polynomial systems associated with identity activated nueral networks |
|