Duo Wang: Neural diagrammatic reasoning. University of Cambridge, UK 2020