In-progress
verifiNN	Python project for verifying robustness of neural networks using optimization methods
SPAR (Summer 2024)	(Ongoing) research on applications of Singular Learning Theory (SLT) to mechanistic interpretability of neural networks for AI safety.
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