https://hackerpaper.kaipfister.de/p/2305.00813/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=39543395urn:hackerpapers:mention:2305.00813:39543395Wed, 28 Feb 2024 21:03:56 GMT<p>There is a lot of work on neurosymbolic systems, see this review https://arxiv.org/pdf/2305.00813.pdf I&#x27;d note that it would be much more powerful to produce code to run in an SMT solver https://en.wikipedia.org/wiki/Satisfiability_modulo_theories as opposed to Prolog. It&#x27;s clear to me how you can get the LLM to generate code for such a system but many of the tough problems about decidibility are as tough as they ever were. On top of that there is the problem of efficient logical inference. For instance the Cyc system https://cyc.com/platform/ has more than 1000 specialized inference engines…</p><p><a href="https://hackerpaper.kaipfister.de/p/2305.00813/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI