Causal Transformer: Toward Deductive Reasoning in Large Language Models | Synapse