Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. Direct information transfer rate optimisation for SSVEP-based BCI. Consistency by Agreement in Zero-shot Neural Machine Translation. Accelerating Extreme Classification via Adaptive Feature Agglomeration. Efficient Algorithms for Set-Valued Prediction in Multi-Cla …