https://hackerpaper.kaipfister.de/p/2305.14618/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=42906908urn:hackerpapers:mention:2305.14618:42906908Sun, 02 Feb 2025 07:41:30 GMT<p>My comment got eaten by HN, but I think LLMs should be used as the glue between logic systems like prolog, with inductive, deductive and abductive reasoning being handed off to a tool. LLMs are great at pattern matching, but forcing them to reason seems like an out of envelope use. Prolog would be how I would solve puzzles like that as well. It is like calling someone weak for using a spreadsheet or a calculator. Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations https://arxiv.org/abs/2305.14618</p><p><a href="https://hackerpaper.kaipfister.de/p/2305.14618/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CL