Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning - Nye, Maxwell; Tessler, Michael; Tenenbaum, Josh; Lake, Brenden (Advances in Neural Information Processing Systems, 2021)