{"id":"2609.21190","title":"SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?","url":"https://codeofpaper.com/paper/2609.21190","arxiv_url":"https://arxiv.org/abs/2609.21190","published":"2026-09-18","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}