Rethinking with Retrieval: Faithful Large Language Model Inference | Synapse