Jiang Yu

LogicSAGE: Neuro-Symbolic Reasoning with Socratic-Guided Enhancement

Large Language Models (LLMs) often struggle with complex logical reasoning. Existing approaches typically rely on either purely neural reasoning in natural language or offloading to formal solvers via symbolic representations. However, both paradigms face significant limitations: while LLMs exhibit …