https://hackerpaper.kaipfister.de/p/2303.06686/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=38390307urn:hackerpapers:mention:2303.06686:38390307Thu, 23 Nov 2023 07:22:33 GMT<p>The field is fairly new to me. I&#x27;m originally from computer algebra, and somehow struggling into the field of ATP. The most interesting papers to me personally are the following three: * Making higher order superposition work. https://doi.org/10.1007/978-3-030-79876-5_24 * MizAR 60 for Mizar 50. https://doi.org/10.48550/arXiv.2303.06686 * Magnus Hammer, a Transformer Based Approach to Premise Selection. https://doi.org/10.48550/arXiv.2303.04488 Your mileage may vary.</p><p><a href="https://hackerpaper.kaipfister.de/p/2303.06686/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI