Convex optimisation is a subfield of mathematics that studies convex functions and their maxima/minima over a given domain, with applications in control synthesis, signal processing and operations research to mention a few. We describe the how the Lean theorem prover might be used to rigorously check algorithms in the domain, with neural network verification as a potential case study.
Speaker: Ramon Mir Fernandez

In this work, a Relational Graph Attention Network is extended to operate on multimodal biological input and is compared alongside previously established side effect prediction methods to evaluate the efficacy of deep Network Representation Learning for adverse drug reaction prediction.
Speaker: Lauren DeLong