4 papers
Computing Linear Regions in Neural Networks with Skip Connections
Johnny Joyce, Jan Verschelde
Neural networks are important tools in machine learning. Representing piecewise linear activation functions with tropical arithmetic enables the application of tropical geometry. A…
Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
Johnny Joyce
In a multi-agent system, one may choose to govern the behaviour of an agent by imposing norms, which act as guidelines for how agents should act either all of the time or in given…
Polynomial Threshold Functions of Bounded Tree-Width: Some Explainability and Complexity Aspects
Karine Chubarian, Johnny Joyce, Gyorgy Turan
The tree-width of a multivariate polynomial is the tree-width of the hypergraph with hyperedges corresponding to its terms. Multivariate polynomials of bounded tree-width have been…
Algebraic Representations for Faster Predictions in Convolutional Neural Networks
Johnny Joyce, Jan Verschelde
Convolutional neural networks (CNNs) are a popular choice of model for tasks in computer vision. When CNNs are made with many layers, resulting in a deep neural network, skip conne…