2 papers
cs.CE2026
First Steps towards Categorical Algebraic Artificial Chemistry
Joe Pratt-Johns, Toby St. Clere Smithe, Chris Guiver +2
We construct a functor that gives a dynamics to an algebraic model of interacting components. The construction generalises a computational model of Fontana and Buss in the field of…
eess.SY2024
Convex neural network synthesis for robustness in the 1-norm
Ross Drummond, Chris Guiver, Matthew C. Turner
With neural networks being used to control safety-critical systems, they increasingly have to be both accurate (in the sense of matching inputs to outputs) and robust. However, the…