[2304.01083] Can the Inference Logic of Large Language Models be Disentangled into Symbolic Concepts?