TY  - RPRT
TI  - Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
AU  - Haotian Deng
AU  - Chris Farber
AU  - Sonal Narasimha
AU  - Samskrithi Sivakumar
AU  - Yexiang Xue
PY  - 2026
UR  - https://arxiv.org/abs/2610.26942
ID  - 2610.26942
ER  -