ImprovingCoherenceandConsistencyinNeural SequenceModelswithDual-System, Neuro-SymbolicReasoning