This is a package for formally expressing deep learning models based on Neural Circuit Diagrams, FlashAttention on a Napkin and Spherical Attention. The main goal of this package is to provide a simple and intuitive way to define and visualize deep learning models, while also allowing for formal reasoning about their properties. In data_structure, you will find a high-level implementation of the structural aspects of deep learning models. https://github.com/mit-zardini-lab/pyncd