Can formal argumentative reasoning enhance LLMs performances? | Synapse