TY  - RPRT
TI  - SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?
AU  - George Ma
AU  - Benjamin Mikek
AU  - Haoyu Li
AU  - Ferhat Erata
AU  - Yuhao Zhang
AU  - Zeren Shui
AU  - Behrooz Omidvar Tehrani
AU  - Jun Huan
AU  - Murali Krishna Ramanathan
AU  - Somayeh Sojoudi
AU  - Hao Zhou
AU  - Anoop Deoras
PY  - 2026
UR  - https://arxiv.org/abs/2609.21190
ID  - 2609.21190
ER  -