research
∙
06/05/2023
Computational Complexity of Detecting Proximity to Losslessly Compressible Neural Network Parameters
To better understand complexity in neural networks, we theoretically inv...
share
research
∙
05/08/2023
Functional Equivalence and Path Connectivity of Reducible Hyperbolic Tangent Networks
Understanding the learning process of artificial neural networks require...
research
∙
07/26/2022
Teaching Simple Constructive Proofs with Haskell Programs
In recent years we have explored using Haskell alongside a traditional m...
research
∙
03/14/2022