Witbrock, M.[Michael]
* 2018: Image Super-Resolution via Dual-State Recurrent Networks
* 2023: Learning to Guide a Saturation-Based Theorem Prover
* 2024: Causal Behaviour Modelling for Player Action Prediction in Rugby League Using Graph Neural Networks