Logic and the 2-Simplicial Transformer. - James Clift; Dmitry Doryn; Daniel Murfet; James Wallbridge (ICLR, 2020)