@misc{indiciae211c3293150f,
  title = {SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?},
  author = {George Ma and Benjamin Mikek and Haoyu Li and Ferhat Erata and Yuhao Zhang and Zeren Shui and Behrooz Omidvar Tehrani and Jun Huan and Murali Krishna Ramanathan and Somayeh Sojoudi and Hao Zhou and Anoop Deoras},
  year = {2026},
  url = {https://arxiv.org/abs/2609.21190},
  note = {Source identifier: 2609.21190}
}