Symbolic Reasoning Methods in Neural Architectures and Large Language Models