https://hackerpaper.kaipfister.de/p/2305.17485/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMThttps://news.ycombinator.com/item?id=41439259urn:hackerpapers:submission:2305.17485:41439259Tue, 03 Sep 2024 21:11:48 GMT<p>Help Finding LLM and Proof Based Refactoring Reference</p><p>Recently on HN I came across an LLM paper achieving impressive results on SWE-bench refactoring tasks. In addition to generating the refactoring, it also created a formal proof of equivalence in a special DSL. Now I can&#x27;t seem to find the paper! So far, I have scrubbed the HN SWE-bench articles from the last 9 months, and tried Google scholar searches for LLM based refactoring with Proofs or DSLs. I am confident that they mention SWE-bench in the abstract, but it does not seem to be mentioned in the HN announcement. I don&#x27;t remember if it was a custom DSL, or if they used a well known…</p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2305.17485/">Paper and source history</a>. A submission is not an endorsement.</p>cs.LO