From Natural Language to Exact Cover: A Neuro-Symbolic Approach to Zebra Puzzles
Chain-of-Thought (CoT) generation has substantially improved the performance of Large Language Models (LLMs) on complex reasoning tasks, including code generation, data analysis, and exam-style question answering. Despite these advances, purely neural LLMs continue to struggle with elementary logical reasoning problems and lack the determinism, soundness, and reliability characteristic of…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
