https://hackerpaper.kaipfister.de/p/2407.11373/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=44062717urn:hackerpapers:mention:2407.11373:44062717Thu, 22 May 2025 14:54:45 GMT<p>Awesome stuff! We use a similar approach (without MCP) to great effect with Prolog currently and feels like we&#x27;re only just starting to scratch the surface here. A great paper from Nasim Borazjanizadeh and Steven Piantadosi at UC Berkeley for those interested: Reliable Reasoning Beyond Natural Language https://arxiv.org/abs/2407.11373 For anyone digging in who wants to hack on this: arun [at] aloe.inc</p><p><a href="https://hackerpaper.kaipfister.de/p/2407.11373/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CLhttps://news.ycombinator.com/item?id=41011154urn:hackerpapers:submission:2407.11373:41011154Fri, 19 Jul 2024 20:59:30 GMT<p>Reliable Reasoning Beyond Natural Language</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2407.11373/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CL