Peano: Learning Formal Mathematical Reasoning · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2211.15864/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTPeano: Learning Formal Mathematical Reasoning — mentioned by isaacfunghttps://news.ycombinator.com/item?id=37552637urn:hackerpapers:mention:2211.15864:37552637Mon, 18 Sep 2023 05:44:07 GMT<p>Similar ideas Certified Reasoning with Language Models https://github.com/gpoesia/certified-reasoning It&#x27;s based on Peano, a theorem proving environment Peano: Learning Formal Mathematical Reasoning https://arxiv.org/abs/2211.15864 (https://github.com/kyegomez/LOGICGUIDE claims to implement the same paper as the first repo but it is fake)</p><p><a href="https://hackerpaper.kaipfister.de/p/2211.15864/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI