Neurosymbolic Transformers for Multi-Agent Communication - Inala, Jeevana Priya; Yang, Yichen; Paulos, James; Pu, Yewen; Bastani, Osbert; Kumar, Vijay; Rinard, Martin; Solar-Lezama, Armando (Advances in Neural Information Processing Systems, 2020)