Efficient gradient descent-style local optimisation algorithms have been studied extensively and applied abundantly throughout the field of deep learning. On the other hand, convergent global optimisation algorithms that never yield an incorrect result — such as branch-and-bound methods — are much less practically available. Optimisation is a core component of supervised machine learning, having broad […]

  The first Huawei Lab Workshop of 2021 will be held  from the 14th to 16th of June (mornings in Edinburgh, late afternoon China)   The Huawei lab June workshop is the forum for researchers to share findings from their Huawei-sponsored research project through discussion, posters and reports. Attendees will have the opportunity to hear […]

Abstract String diagrams are becoming the established mathematical language of diagrammatic reasoning, with the mantra of ‘only connectivity matters’: equal terms are represented as isomorphic (or isotopic) diagrams. Unfortunately, when adding more structure to categories in the form of additional axioms, this mantra is lost: we must now consider diagrams up to rewriting. To perform […]