Shakarian P. Neuro Symbolic Reasoning and Learning 2023