Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach

Open in new window