Mason Lary

Hi there! I’m a PhD student at SUNY Buffalo in the Computer Science department, studying under Andrew Hirsch.

Broadly, my research interests focus on formal methods for machine learning and tools that aid developers in following these formalisms. Specifically, I’m interested in how category theory and group theory can be used to describe properties of both individual and systems of neural networks. I’m also interested in the role proof assistants can play in certifying the properties of these systems.

This page serves as a place for research musings, tutorials, and to highlight projects, papers, and accomplishments.