2 papers
cs.NE2023
Functional Equivalence and Path Connectivity of Reducible Hyperbolic Tangent Networks
Matthew Farrugia-Roberts
Understanding the learning process of artificial neural networks requires clarifying the structure of the parameter space within which learning takes place. A neural network parame…
cs.CY2022
Teaching Simple Constructive Proofs with Haskell Programs
Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard
In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal language…